/** * Creates a new tree field only constructor {@code AVariableExp TAG=variable} node with the given nodes as children. * @deprecated This method should not be used, use AstFactory instead. * The basic child nodes are removed from their previous parents. * @param name_ the {@link ILexNameToken} node for the {@code name} child of this {@link AVariableExp} node * @param original_ the {@link String} node for the {@code original} child of this {@link AVariableExp} node */ public AVariableExp(ILexLocation location_, ILexNameToken name_, String original_) { super(null,location_); this.setName(name_); this.setOriginal(original_); }
/** * Creates a new complete constructor {@code AVariableExp} node with the given nodes as children. * @deprecated This method should not be used, use AstFactory instead. * The basic child nodes are removed from their previous parents. * @param name_ the {@link ILexNameToken} node for the {@code name} child of this {@link AVariableExp} node * @param original_ the {@link String} node for the {@code original} child of this {@link AVariableExp} node * @param vardef_ the {@link PDefinition} <b>graph</a> node for the {@code vardef} child of this {@link AVariableExp} node. * <i>The parent of this {@code vardef } will not be changed by adding it to this node.</i> */ public AVariableExp(PType type_, ILexLocation location_, ILexNameToken name_, String original_, PDefinition vardef_) { super(type_,location_); this.setName(name_); this.setOriginal(original_); this.setVardef(vardef_); }
/** * Generate an AVariableExp */ protected AVariableExp getVarExp(ILexNameToken name) { AVariableExp var = new AVariableExp(); var.setName(name.clone()); var.setOriginal(name.getFullName()); return var; }
private AVariableExp wrapName(ILexNameToken name) { AVariableExp r = new AVariableExp(); r.setName(name.clone()); r.setOriginal(name.getFullName()); return r; }
@Override public PExp caseAIdentifierStateDesignator(AIdentifierStateDesignator node) throws AnalysisException { ILexNameToken nameTok = node.getName().clone(); AVariableExp varExp = new AVariableExp(); varExp.setName(nameTok); varExp.setOriginal(nameTok.getFullName()); return varExp; }
public static AVariableExp newAVariableExp(ILexNameToken name) { AVariableExp result = new AVariableExp(); initExpression(result, name.getLocation()); result.setName(name); result.setOriginal(name.getFullName()); return result; }
/** * Generate AVariableExp with corresponding definition */ protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef) { AVariableExp var = new AVariableExp(); var.setName(name.clone()); var.setOriginal(name.getFullName()); var.setVardef(vardef.clone()); return var; } /**
public OpBodyEndContext(List<AInstanceVariableDefinition> state, IPogAssistantFactory af) { this.af = af; subs = new LinkedList<Substitution>(); for (AInstanceVariableDefinition i : state) { AVariableExp var_exp = new AVariableExp(); ILexNameToken it = i.getName(); String safename = it.getName() + "$"; ILexNameToken safeToken = new LexNameToken(it.getModule(), safename, it.getLocation().clone()); var_exp.setName(safeToken); var_exp.setType(i.getType().clone()); var_exp.setOriginal(i.getName().getName().toString()); subs.add(new Substitution(i.getOldname(), var_exp)); } }
public PExp caseAIgnorePattern(AIgnorePattern node) throws AnalysisException { AVariableExp var = new AVariableExp(); var.setName(unique.getUnique("any")); var.setOriginal(var.getName().getFullName()); var.setVardef(pattern2DummyDef(node)); addPossibleType(var, node); return var; }
public PExp caseAIdentifierPattern(AIdentifierPattern node) throws AnalysisException { AVariableExp var = new AVariableExp(); var.setName(node.getName().clone()); var.setOriginal(var.getName().getFullName()); var.setVardef(pattern2DummyDef(node)); addPossibleType(var, node); return var; }
@Override // see [1] pg. 179 unary expressions public IProofObligationList caseAHeadUnaryExp(AHeadUnaryExp node, IPOContextStack question) throws AnalysisException { IProofObligationList obligations = defaultSUnaryExp(node, question); PExp exp = node.getExp(); // RWL This is a hack. The new ast LexNameToken's toString method // includes the module e.g. like Test`b for variables // which the old one did not. Hence proof obligations with variable // names are different as "Test`b" is just b with the old proof // obligations generator. PExp fake = exp.clone(); if (exp instanceof AVariableExp) { AVariableExp var = (AVariableExp) fake; var.setName(new LexNameToken("", var.getName().getIdentifier().clone())); } if (!aF.createPTypeAssistant().isType(exp.getType(), ASeq1SeqType.class)) { obligations.add(new NonEmptySeqObligation(fake, question, aF)); } return obligations; }
ve.setName(ve.getName().getExplicit(true));
if (sd != null && node.getName().getModule().equals("")) node.setName(name.getModifiedName(sd.getName().getName()));