JmlInfFlowClause
constructor(kind: JmlClauseKind, name: SimpleName, by: NodeList<Expression>, declassifies: NodeList<Expression>, erases: NodeList<Expression>, expressions: NodeList<Expression>, newObjects: NodeList<Expression>)(source)
constructor(range: TokenRange, begin: JavaToken, name: SimpleName, determined: NodeList<Expression>, by: NodeList<Expression>, declassifies: NodeList<Expression>, erases: NodeList<Expression>, newObjects: NodeList<Expression>)(source)
constructor(tokenRange: TokenRange, kind: JmlClauseKind, name: SimpleName, by: NodeList<Expression>, declassifies: NodeList<Expression>, erases: NodeList<Expression>, expressions: NodeList<Expression>, newObjects: NodeList<Expression>)(source)
This constructor is used by the parser and is considered private.