private SClassDefinition get(List<SClassDefinition> classes, String module) { for (SClassDefinition sClassDefinition : classes) { if (sClassDefinition.getName().getName().equals(module)) { return sClassDefinition; } } return null; }
@Override public String getDefaultName() { return defaultClass.getName().getName(); }
@Override public boolean mustHandleNameToken(ILexNameToken nameToken) { return this.getNames().contains(nameToken.getName()); }
private List<ATokenNameIR> consNames(List<ILexNameToken> vdmNames) { List<ATokenNameIR> namesCg = new LinkedList<ATokenNameIR>(); for (ILexNameToken vdmName : vdmNames) { ATokenNameIR nextNameCg = new ATokenNameIR(); nextNameCg.setName(vdmName.getName()); namesCg.add(nextNameCg); } return namesCg; }
@Override protected StringBuilder propertyResponse(ILexNameToken name, Value value, DBGPContextType context) throws UnsupportedEncodingException { String nameString = context == DBGPContextType.GLOBAL ? name.getModule() + "`" + name.getName() : name.getOld() ? name.getName() + "~" : name.getName(); return propertyResponse(nameString, name.getExplicit(true).toString(), name.getModule(), value); }
@Override public String caseAClassType(AClassType type) throws AnalysisException { return type.getClassdef().getName().getName(); }
@Override public Boolean caseAFieldField(AFieldField node) throws AnalysisException { if (!(isNotNull(node.getTagname()) && isNotNull(node.getTagname().getName()))) { invalidNodes.add(node); return false; } return true; }
@Override public void caseILexNameToken(ILexNameToken node) throws AnalysisException { validateName(node.getName(), node.getLocation(), node.getModule()); }
@Override public STypeIR caseAParameterType(AParameterType node, IRInfo question) throws AnalysisException { String name = node.getName().getName(); ATemplateTypeIR templateType = new ATemplateTypeIR(); templateType.setName(name); return templateType; }
public LexNameToken getMemberName(AClassType cls, ILexIdentifierToken id) { // Note: not explicit return new LexNameToken(cls.getName().getName(), id.getName(), id.getLocation(), false, false); }
@Override public STypeIR caseAClassType(AClassType node, IRInfo question) throws AnalysisException { String typeName = node.getClassdef().getName().getName(); AClassTypeIR classType = new AClassTypeIR(); classType.setName(typeName); return classType; }
private void registerRenaming(ILexNameToken name, String newName) { if (!contains(name.getLocation())) { renamings.add(new Renaming(name.getLocation(), name.getName(), newName, name.getModule(), name.getModule())); } }
public SClassDefinitionRuntime( IInterpreterAssistantFactory assistantFactory, SClassDefinition def) { this.assistantFactory = assistantFactory; delegate = new Delegate(def.getName().getName(), assistantFactory.createPDefinitionAssistant().getDefinitions(def)); guardLock = new Lock(); }
@Override public SDeclIR caseAPerSyncDefinition(APerSyncDefinition node, IRInfo question) throws AnalysisException { PExp guard = node.getGuard(); ILexNameToken opname = node.getOpname(); APersyncDeclIR predicate = new APersyncDeclIR(); predicate.setPred(guard.apply(question.getExpVisitor(), question)); predicate.setOpname(opname.getName()); return predicate; }
@Override public SExportIR caseATypeExport(ATypeExport node, IRInfo question) throws AnalysisException { ATypeExportIR typeExportCg = new ATypeExportIR(); typeExportCg.setName(node.getName() != null ? node.getName().getName() : null); typeExportCg.setStruct(node.getStruct()); return addDecl(node, typeExportCg, question); }
@Override public STypeIR caseARecordInvariantType(ARecordInvariantType node, IRInfo question) throws AnalysisException { ILexNameToken name = node.getName(); ARecordTypeIR recordType = new ARecordTypeIR(); ATypeNameIR typeName = new ATypeNameIR(); typeName.setName(name.getName()); typeName.setDefiningClass(name.getModule()); recordType.setName(typeName); return recordType; }
public static PExp typeCheckEntryPoint(ClassList classes, String expression, Dialect dialect) throws VDMErrorsException, AnalysisException { SClassDefinition defaultModule = null; LexNameToken name = new LexNameToken("CLASS", "DEFAULT", new LexLocation()); defaultModule = AstFactory.newAClassClassDefinition(name, null, null); defaultModule.setUsed(true); PExp exp = parseExpression(expression, defaultModule.getName().getName(), dialect); return tcExp(classes, exp); }
public ObjectThread(ILexLocation location, ObjectValue object, Context ctxt) throws ValueException { super(object.getCPU().resource, object, 0, false, 0); setName("ObjectThread-" + getId()); this.title = "Thread " + getId() + ", self #" + object.objectReference + ", class " + object.type.getName().getName(); this.ctxt = new ObjectContext(ctxt.assistantFactory, location, title, ctxt.getGlobal(), object); this.operation = object.getThreadOperation(ctxt); this.breakAtStart = ctxt.threadState.isStepping(); }
public static AFieldExp newAFieldExp(PExp object, ILexNameToken field) { AFieldExp result = new AFieldExp(); result.setLocation(object.getLocation()); result.setObject(object); result.setField(new LexIdentifierToken(field.getName(), field.getOld(), field.getLocation())); result.setMemberName(field); result.getField().getLocation().executable(true); return result; }