@Override public Value caseASkipStm(ASkipStm node, Context ctxt) throws AnalysisException { BreakpointManager.getBreakpoint(node).check(node.getLocation(), ctxt); return new VoidValue(); }
@Override public PType caseASkipStm(ASkipStm node, TypeCheckInfo question) { node.setType(AstFactory.newAVoidType(node.getLocation())); return node.getType(); }