public class JL5LocalInstance_c extends LocalInstance_c implements JL5LocalInstance
Modifier and Type | Field and Description |
---|---|
protected Annotations |
annotations |
protected boolean |
isCatchFormal |
protected boolean |
isProcedureFormal |
constantValue, constantValueSet, decl, flags, isConstant, name, type
position, ts
Constructor and Description |
---|
JL5LocalInstance_c(TypeSystem ts,
Position pos,
Flags flags,
Type type,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
Annotations |
annotations()
Annotations on the declaration of this type.
|
boolean |
isCatchFormal()
Does this local instance represent a formal of a catch block?
|
boolean |
isProcedureFormal()
Does this local instance represent a formal argument of a procedure?
(e.g., method or constructor)
|
void |
setAnnotations(Annotations annotations) |
void |
setCatchFormal(boolean isCatchFormal)
Set whether this local instance represents a formal argument of a catch block.
|
void |
setProcedureFormal(boolean isProcedureFormal)
Set whether this local instance represents a formal argument of a procedure.
|
constantValue, equalsImpl, flags, isCanonical, name, notConstant, orig, toString, type
constantValue, constantValueSet, declaration, flags, hashCode, isConstant, name, setConstantValue, setDeclaration, setFlags, setName, setNotConstant, setType, type
copy, equals, position, typeSystem
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
constantValue, flags, name, notConstant, orig, type
constantValue, constantValueSet, flags, isConstant, name, setConstantValue, setFlags, setName, setNotConstant, setType, type
declaration, setDeclaration
equalsImpl, isCanonical, position, typeSystem
protected Annotations annotations
protected boolean isProcedureFormal
protected boolean isCatchFormal
public JL5LocalInstance_c(TypeSystem ts, Position pos, Flags flags, Type type, java.lang.String name)
public Annotations annotations()
JL5LocalInstance
annotations
in interface JL5LocalInstance
public void setAnnotations(Annotations annotations)
setAnnotations
in interface JL5LocalInstance
public boolean isProcedureFormal()
JL5LocalInstance
isProcedureFormal
in interface JL5LocalInstance
public void setProcedureFormal(boolean isProcedureFormal)
JL5LocalInstance
setProcedureFormal
in interface JL5LocalInstance
public boolean isCatchFormal()
JL5LocalInstance
isCatchFormal
in interface JL5LocalInstance
public void setCatchFormal(boolean isCatchFormal)
JL5LocalInstance
setCatchFormal
in interface JL5LocalInstance