if(node.getName() != null ) node.getName().apply(this); if(node.getClassDefinition() != null && !_visitedNodes.contains(node.getClassDefinition())) node.getClassDefinition().apply(this); if(node.getAccess() != null && !_visitedNodes.contains(node.getAccess())) node.getAccess().apply(this); if(node.getType() != null && !_visitedNodes.contains(node.getType())) node.getType().apply(this); List<PType> copy = new ArrayList<PType>(node.getSupertypes()); for( PType e : copy) List<ILexNameToken> copy = new ArrayList<ILexNameToken>(node.getSupernames()); for( ILexNameToken e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefinitions()); for( PDefinition e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getAllInheritedDefinitions()); for( PDefinition e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getLocalInheritedDefinitions());
@Override public void caseASystemClassDefinition(ASystemClassDefinition node) throws AnalysisException { if (enclosingDef != null) { return; } visitModuleDefs(node.getDefinitions(), node); }
ACpuClassDefinition instance = null; for (PDefinition d : systemClass.getDefinitions()) v.set(systemClass.getLocation(), cpu, initialContext); } else BUSValue.vBUS.setup(scheduler, "vBUS"); for (PDefinition d : systemClass.getDefinitions()) throw new ContextException(4135, "Cannot instantiate a system class", systemClass.getLocation(), initialContext);
public void bindSystemVariables(ASystemClassDefinition systemDefinition, IInterpreterAssistantFactory af) { List<String[]> variablesTemp = filterVariablesInSystem(systemDefinition.getName().getName(), variables); Context ctxt = af.createSClassDefinitionAssistant().getStatics(systemDefinition); for (String[] strings : variablesTemp) { Value v = digInCtxt(strings, ctxt); for (ConjectureDefinition definition : conjectures) { definition.associateVariable(strings, v); } } }
if(node.getName() != null ) node.getName().apply(this); if(node.getClassDefinition() != null && !_visitedNodes.contains(node.getClassDefinition())) node.getClassDefinition().apply(this); if(node.getAccess() != null && !_visitedNodes.contains(node.getAccess())) node.getAccess().apply(this); if(node.getType() != null && !_visitedNodes.contains(node.getType())) node.getType().apply(this); List<PType> copy = new ArrayList<PType>(node.getSupertypes()); for( PType e : copy) List<ILexNameToken> copy = new ArrayList<ILexNameToken>(node.getSupernames()); for( ILexNameToken e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefinitions()); for( PDefinition e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getAllInheritedDefinitions()); for( PDefinition e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getLocalInheritedDefinitions());
if(node.getName() != null ) node.getName().apply(this, question); if(node.getClassDefinition() != null && !_visitedNodes.contains(node.getClassDefinition())) node.getClassDefinition().apply(this, question); if(node.getAccess() != null && !_visitedNodes.contains(node.getAccess())) node.getAccess().apply(this, question); if(node.getType() != null && !_visitedNodes.contains(node.getType())) node.getType().apply(this, question); List<PType> copy = new ArrayList<PType>(node.getSupertypes()); for( PType e : copy) List<ILexNameToken> copy = new ArrayList<ILexNameToken>(node.getSupernames()); for( ILexNameToken e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefinitions()); for( PDefinition e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getAllInheritedDefinitions()); for( PDefinition e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getLocalInheritedDefinitions());
if(node.getName() != null ) mergeReturns(retVal,node.getName().apply(this, question)); if(node.getClassDefinition() != null && !_visitedNodes.contains(node.getClassDefinition())) mergeReturns(retVal,node.getClassDefinition().apply(this, question)); if(node.getAccess() != null && !_visitedNodes.contains(node.getAccess())) mergeReturns(retVal,node.getAccess().apply(this, question)); if(node.getType() != null && !_visitedNodes.contains(node.getType())) mergeReturns(retVal,node.getType().apply(this, question)); List<PType> copy = new ArrayList<PType>(node.getSupertypes()); for( PType e : copy) List<ILexNameToken> copy = new ArrayList<ILexNameToken>(node.getSupernames()); for( ILexNameToken e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefinitions()); for( PDefinition e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getAllInheritedDefinitions()); for( PDefinition e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getLocalInheritedDefinitions());
if(node.getName() != null ) mergeReturns(retVal,node.getName().apply(this)); if(node.getClassDefinition() != null && !_visitedNodes.contains(node.getClassDefinition())) mergeReturns(retVal,node.getClassDefinition().apply(this)); if(node.getAccess() != null && !_visitedNodes.contains(node.getAccess())) mergeReturns(retVal,node.getAccess().apply(this)); if(node.getType() != null && !_visitedNodes.contains(node.getType())) mergeReturns(retVal,node.getType().apply(this)); List<PType> copy = new ArrayList<PType>(node.getSupertypes()); for( PType e : copy) List<ILexNameToken> copy = new ArrayList<ILexNameToken>(node.getSupernames()); for( ILexNameToken e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefinitions()); for( PDefinition e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getAllInheritedDefinitions()); for( PDefinition e : copy) List<PDefinition> copy = new ArrayList<PDefinition>(node.getLocalInheritedDefinitions());