public Constructor(ConstructorType type, int size1, int size2, int size3, Kind kind, org.kframework.kore.Sort cellCollectionSort) { this(type, size1, size2, size3, kind, cellCollectionSort, null, null, null, Att.empty()); }
public void copyAttributesFrom(JavaSymbolicObject variable) { this.att.addAll(variable.att); } // TODO(YilongL): remove the comments below to enforce that every subclass
/** Marks 'node' with the start position in 'locPrefix' and the end position of the last token. Returns 'node' (which simplifies many uses of this function). */ private <T extends ASTNode> T markLoc(Location locPrefix, T node) { return markLocExplicit(Location.apply(locPrefix.startLine(), locPrefix.startColumn(), token.endLine, token.endColumn), node); }
/** Returns the start location of the next token */ private Location startLoc() { Token t = getToken(1); return new Location(beginLine + t.beginLine, beginColumn + t.beginColumn, 0, 0); }
@Override public Att att() { return Att.empty(); }
public void addAttribute(String key, String value) { att = att.add(key, value); }
@Override public Att att() { return Att.empty(); }
@Override public Att att() { return Att.empty(); }
@Override public Att att() { return Att.empty(); }
@Override public Att att() { return Att.empty(); }
@Override public Att att() { return Att.empty(); }
public Variable(String name, Sort sort, boolean anonymous, int ordinal) { this(name, sort, anonymous, ordinal, Att.empty()); }
protected JavaSymbolicObject() { this(Att.empty()); }
public Constructor(ConstructorType type, int size, Sort assocListSort, KLabelConstant assocListOperator, KLabelConstant assocListUnit) { this(type, size, 0, 0, null, null, assocListSort, assocListOperator, assocListUnit, Att.empty()); }
protected JavaSymbolicObject(Source source, Location loc) { this(source, loc, Att.empty()); }