/** * Returns the symbol of this phase. * This symbol is used in {@link ExecutionScript}s. * @return the symbol of this phase */ @Override public String getSymbol() { return name().toLowerCase(); }
/** * Returns the symbol of this phase. * This symbol is used in {@link ExecutionScript}s. * @return the symbol of this phase */ @Override public String getSymbol() { return name().toLowerCase(); }