code: @Override
  	public Value caseASetEnumSetExp(ASetEnumSetExp node, Context ctxt)
  			throws AnalysisException
  	{
  		BreakpointManager.getBreakpoint(node).check(node.getLocation(), ctxt);
  
  		ValueSet values = new ValueSet();
  
  		for (PExp e : node.getMembers())
  		{
  			values.add(e.apply(VdmRuntime.getExpressionEvaluator(), ctxt));
  		}
  
  		return new SetValue(values);
  	}
docs: /*
  (non-Javadoc) Set start
  @see
  org.overture.ast.analysis.QuestionAnswerAdaptor#caseAStateInitExp(org.overture.ast.expressions.AStateInitExp,
  java.lang.Object)