public String toString() { return "" + _name.getFullName() + " = " + _type/*.toDetailedString()*/ + (_invPattern == null ? "" : "\n\tinv " + _invPattern + " == " + _invExpression); }
public String toString() { return "" + _name.getFullName()+" = "+_type; }
public String toString() { return "" + "class "+_name.getFullName()+ (_supernames.isEmpty() ? "" : " is subclass of " +_supernames) + "\n" + ToStringUtil.getDefinitionListString(_definitions)+"end "+_name.getFullName()+"\n"; }
public String toString() { return "" + _name.getFullName() + "(" + Utils.listToString(_args)+")"; }
@Override public String caseAIdentifierStateDesignator(AIdentifierStateDesignator node) throws AnalysisException { return node.getName().getFullName(); }
@Override public PType caseAUnresolvedType(AUnresolvedType type, String typename) throws AnalysisException { return type.getName().getFullName().equals(typename) ? type : null; }
public String toString() { return "" + "class "+_name.getFullName()+ (_supernames.isEmpty() ? "" : " is subclass of " +_supernames) + "\n" + ToStringUtil.getDefinitionListString(_definitions)+"end "+_name.getFullName()+"\n"; }
public String toString() { return "" + "system "+_name.getFullName()+ (_supernames.isEmpty() ? "" : " is subclass of " +_supernames) + "\n" + ToStringUtil.getDefinitionListString(_definitions)+"end "+_name.getFullName()+"\n"; }
public String toString() { return "" + "class "+_name.getFullName()+ (_supernames.isEmpty() ? "" : " is subclass of " +_supernames) + "\n" + ToStringUtil.getDefinitionListString(_definitions)+"end "+_name.getFullName()+"\n"; }
public String toString() { return "" + "("+_object+"."+(_memberName == null ? _field.getName() : _memberName.getFullName())+")"; }
@Override public String toString() { StringBuilder sb = new StringBuilder(); for (PDefinition d : module.getDefs()) { sb.append(d.getName().getFullName()); sb.append("\n"); } return sb.toString(); }
@Override public PType caseARecordInvariantType(ARecordInvariantType type, String typename) throws AnalysisException { if (type.getOpaque()) { return null; } if (typename.indexOf('`') > 0) { return type.getName().getFullName().equals(typename) ? type : null; } else { // Local typenames aren't qualified with the local module name return type.getName().getName().equals(typename) ? type : null; } }
/** * 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; }
public static AVariableExp newAVariableExp(ILexNameToken name) { AVariableExp result = new AVariableExp(); initExpression(result, name.getLocation()); result.setName(name); result.setOriginal(name.getFullName()); return result; }
@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; }
/** * 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 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; }
public PDefinition findNameBaseCase(PDefinition d, ILexNameToken sought, NameScope scope) { if (af.getLexNameTokenAssistant().isEqual(d.getName(), sought)) { if (!d.getNameScope().matches(scope)) { TypeChecker.report(3302, "State variable '" + sought.getFullName() + "' cannot be accessed from this context", sought.getLocation()); } markUsed(d); return d; } return null; }