public class ActsForConstraint_c<Actor extends ActsForParam,Granter extends ActsForParam> extends polyglot.types.TypeObject_c implements ActsForConstraint<Actor,Granter>
Modifier and Type | Field and Description |
---|---|
protected Actor |
actor |
protected Granter |
granter |
protected boolean |
isEquiv |
protected ActsForConstraintToJavaExpr |
toJava |
Constructor and Description |
---|
ActsForConstraint_c(polyglot.types.TypeSystem ts,
polyglot.util.Position pos,
Actor actor,
Granter granter,
ActsForConstraintToJavaExpr toJava) |
ActsForConstraint_c(polyglot.types.TypeSystem ts,
polyglot.util.Position pos,
Actor actor,
Granter granter,
boolean isEquiv,
ActsForConstraintToJavaExpr toJava) |
Modifier and Type | Method and Description |
---|---|
Actor |
actor() |
ActsForConstraint<Actor,Granter> |
actor(Actor actor) |
ActsForConstraint_c<Actor,Granter> |
copy() |
Granter |
granter() |
ActsForConstraint<Actor,Granter> |
granter(Granter granter) |
boolean |
isCanonical() |
boolean |
isEquiv() |
polyglot.ast.Expr |
toJava(JifToJavaRewriter rw) |
java.lang.String |
toString() |
equals, equalsImpl, hashCode, position, typeSystem
protected ActsForConstraintToJavaExpr toJava
protected Actor extends ActsForParam actor
protected Granter extends ActsForParam granter
protected final boolean isEquiv
public ActsForConstraint_c(polyglot.types.TypeSystem ts, polyglot.util.Position pos, Actor actor, Granter granter, boolean isEquiv, ActsForConstraintToJavaExpr toJava)
public ActsForConstraint_c(polyglot.types.TypeSystem ts, polyglot.util.Position pos, Actor actor, Granter granter, ActsForConstraintToJavaExpr toJava)
public Actor actor()
actor
in interface ActsForConstraint<Actor extends ActsForParam,Granter extends ActsForParam>
public ActsForConstraint<Actor,Granter> actor(Actor actor)
actor
in interface ActsForConstraint<Actor extends ActsForParam,Granter extends ActsForParam>
public Granter granter()
granter
in interface ActsForConstraint<Actor extends ActsForParam,Granter extends ActsForParam>
public ActsForConstraint<Actor,Granter> granter(Granter granter)
granter
in interface ActsForConstraint<Actor extends ActsForParam,Granter extends ActsForParam>
public boolean isEquiv()
isEquiv
in interface ActsForConstraint<Actor extends ActsForParam,Granter extends ActsForParam>
public boolean isCanonical()
isCanonical
in interface polyglot.types.TypeObject
public ActsForConstraint_c<Actor,Granter> copy()
copy
in interface polyglot.util.Copy<polyglot.types.TypeObject>
copy
in class polyglot.types.TypeObject_c
public java.lang.String toString()
toString
in class java.lang.Object
public polyglot.ast.Expr toJava(JifToJavaRewriter rw) throws polyglot.types.SemanticException
toJava
in interface ActsForConstraint<Actor extends ActsForParam,Granter extends ActsForParam>
polyglot.types.SemanticException