public String toString() { return "" + "("+_object+"."+(_memberName == null ? _field.getName() : _memberName.getFullName())+")"; }
public static void clearLocations() { synchronized (allLocations) { for (ILexLocation loc : allLocations) { loc.setHits(0); } } }
public LexNameToken(String module, ILexIdentifierToken id) { super(id.getLocation(), VDMToken.NAME); this.module = module; this.name = id.getName(); this.old = id.isOld(); this.explicit = false; }
@Override public File getDefaultFile() { return defaultClass.getName().getLocation().getFile(); }
@Override public String toString() { return name.getName(); }
@SuppressWarnings("deprecation") public TraceVariableStatement(TraceVariable var) { super(var.name.getLocation()); this.var = var; }
private String handleLocation(ILexLocation location) { if (location != null) { return location.getModule(); } else { return null; } } }
public String toString() { return "" + _name.getFullName() + " = " + _type/*.toDetailedString()*/ + (_invPattern == null ? "" : "\n\tinv " + _invPattern + " == " + _invExpression); }
@Override public String toString() { return location.toString(); }
/** * Sets the {@code _oldname} child of this {@link AExternalDefinition} node. * @param value the new {@code _oldname} child of this {@link AExternalDefinition} node */ public void setOldname(ILexNameToken value) { if( value != null && value.parent() == null) { value.parent(this); } this._oldname = value; }
/** * Sets the {@code _field} child of this {@link AFieldObjectDesignator} node. * @param value the new {@code _field} child of this {@link AFieldObjectDesignator} node */ public void setField(ILexNameToken value) { if( value != null && value.parent() == null) { value.parent(this); } this._field = value; }
/** * Sets the {@code _objectfield} child of this {@link AFieldStateDesignator} node. * @param value the new {@code _objectfield} child of this {@link AFieldStateDesignator} node */ public void setObjectfield(ILexNameToken value) { if( value != null && value.parent() == null) { value.parent(this); } this._objectfield = value; }
/** * Sets the {@code _measureName} child of this {@link SFunctionDefinitionBase} node. * @param value the new {@code _measureName} child of this {@link SFunctionDefinitionBase} node */ public void setMeasureName(ILexNameToken value) { if( value != null && value.parent() == null) { value.parent(this); } this._measureName = value; }