/** * Creates a new complete constructor {@code AClassInvariantDefinition} 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 expression_ the {@link PExp} node for the {@code expression} child of this {@link AClassInvariantDefinition} node */ public AClassInvariantDefinition(ILexLocation location_, ILexNameToken name_, NameScope nameScope_, Boolean used_, SClassDefinition classDefinition_, AAccessSpecifierAccessSpecifier access_, PType type_, Pass pass_, PExp expression_) { super(location_,name_,nameScope_,used_,classDefinition_,access_,type_,pass_); this.setExpression(expression_); }
/** * Creates a new tree field only constructor {@code AClassInvariantDefinition TAG=classInvariant} 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 expression_ the {@link PExp} node for the {@code expression} child of this {@link AClassInvariantDefinition} node */ public AClassInvariantDefinition(ILexLocation location_, NameScope nameScope_, Boolean used_, AAccessSpecifierAccessSpecifier access_, Pass pass_, PExp expression_) { super(location_,null,nameScope_,used_,null,access_,null,pass_); this.setExpression(expression_); }
public static AClassInvariantDefinition newAClassInvariantDefinition( ILexNameToken name, PExp expression) { AClassInvariantDefinition result = new AClassInvariantDefinition(); // Definition initialization initDefinition(result, Pass.DEFS, name.getLocation(), name, NameScope.GLOBAL); result.setExpression(expression); return result; }