@Override public PTypeSet caseAElseIfStm(AElseIfStm statement) throws AnalysisException { return statement.getThenStm().apply(THIS); }
@Override public PTypeSet caseAForAllStm(AForAllStm statement) throws AnalysisException { return statement.getStatement().apply(THIS); }
@Override public PExp caseATrapStm(ATrapStm stm, Integer lineno) throws AnalysisException { PExp found = stm.getBody().apply(THIS, lineno);// PStmAssistantInterpreter.findExpression(stm.getBody(), // lineno); if (found != null) { return found; } return stm.getWith().apply(THIS, lineno);// PStmAssistantInterpreter.findExpression(stm.getWith(), lineno); }
@Override public PExp caseACyclesStm(ACyclesStm stm, Integer lineno) throws AnalysisException { return stm.getStatement().apply(THIS, lineno); }
@Override public PExp caseADurationStm(ADurationStm stm, Integer lineno) throws AnalysisException { return stm.getStatement().apply(THIS, lineno); }
@Override public PTypeSet caseAForPatternBindStm(AForPatternBindStm statement) throws AnalysisException { return statement.getStatement().apply(THIS); }
@Override public PTypeSet caseALetBeStStm(ALetBeStStm statement) throws AnalysisException { return statement.getStatement().apply(THIS); }
@Override public PTypeSet caseAWhileStm(AWhileStm statement) throws AnalysisException { return statement.getStatement().apply(THIS); }
@Override public PTypeSet caseAForIndexStm(AForIndexStm statement) throws AnalysisException { return statement.getStatement().apply(THIS); }
@Override public PTypeSet caseALetStm(ALetStm statement) throws AnalysisException { return statement.getStatement().apply(THIS); }
private Collection<? extends PType> exitCheck(ATixeStmtAlternative tsa) throws AnalysisException { return tsa.getStatement().apply(THIS); }
public static PObjectDesignator newAFieldObjectDesignator( PObjectDesignator object, ILexNameToken classname) { AFieldObjectDesignator result = new AFieldObjectDesignator(); result.setLocation(object.getLocation()); result.setObject(object); result.setClassName(classname); result.setFieldName(null); return result; }
public static AApplyObjectDesignator newAApplyObjectDesignator( PObjectDesignator object, List<PExp> args) { AApplyObjectDesignator result = new AApplyObjectDesignator(); result.setLocation(object.getLocation()); result.setObject(object); result.setArgs(args); return result; }
@Override public PStm caseACyclesStm(ACyclesStm stm, Integer lineno) throws AnalysisException { return stm.getStatement().apply(THIS, lineno); }
@Override public PStm caseADurationStm(ADurationStm stm, Integer lineno) throws AnalysisException { return stm.getStatement().apply(THIS, lineno); }