Package org.checkerframework.afu.scenelib.el

Class AExpression

java.lang.Object

org.checkerframework.afu.scenelib.el.AElement

org.checkerframework.afu.scenelib.el.AExpression

All Implemented Interfaces:

Cloneable

Direct Known Subclasses:

ABlock

public class AExpression
extends AElement

Manages all annotations within expressions, that is, annotations on typecasts, instanceofs, and object creations. We can use this class for methods, field initializers, and static initializers.

Field Summary

Fields

Modifier and Type	Field	Description
final VivifyingMap<RelativeLocation,ATypeElement>	calls	A method invocation's annotated type arguments; map key is the offset of the invokestatic bytecode
final VivifyingMap<RelativeLocation,AMethod>	funs	The method's annotated lambda expressions; map key is the offset of the invokedynamic bytecode
protected String	id	A unique identifier.
final VivifyingMap<RelativeLocation,ATypeElement>	instanceofs	The method's annotated "instanceof" tests; map key is the offset of the instanceof bytecode.
final VivifyingMap<RelativeLocation,ATypeElement>	news	The method's annotated "new" invocations; map key is the offset of the new bytecode.
final VivifyingMap<RelativeLocation,ATypeElement>	refs	A member reference's annotated type parameters; map key is the offset of the invokestatic bytecode
final VivifyingMap<RelativeLocation,ATypeElement>	typecasts	The method's annotated typecasts; map key is the offset of the checkcast bytecode.

Fields inherited from class org.checkerframework.afu.scenelib.el.AElement

description, tlAnnotationsHere, type

Method Summary

Modifier and Type	Method	Description
<R, T> R	accept(ElementVisitor<R,T> v, T t)
AExpression	clone()
boolean	equals(AElement o)	Returns true if this AElement equals o.
protected boolean	equalsExpression(AExpression o)
int	hashCode()
boolean	isEmpty()	Returns true if this AElement is empty.
void	prune()	Removes empty subelements of this AElement depth-first.
String	toString()

Methods inherited from class org.checkerframework.afu.scenelib.el.AElement

equals, lookup, tlAnnotationsHereFormatted

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

typecasts

public final VivifyingMap<RelativeLocation,ATypeElement> typecasts

The method's annotated typecasts; map key is the offset of the checkcast bytecode.

instanceofs

public final VivifyingMap<RelativeLocation,ATypeElement> instanceofs

The method's annotated "instanceof" tests; map key is the offset of the instanceof bytecode.

news

public final VivifyingMap<RelativeLocation,ATypeElement> news

The method's annotated "new" invocations; map key is the offset of the new bytecode.

calls

public final VivifyingMap<RelativeLocation,ATypeElement> calls

A method invocation's annotated type arguments; map key is the offset of the invokestatic bytecode

refs

public final VivifyingMap<RelativeLocation,ATypeElement> refs

A member reference's annotated type parameters; map key is the offset of the invokestatic bytecode

funs

public final VivifyingMap<RelativeLocation,AMethod> funs

The method's annotated lambda expressions; map key is the offset of the invokedynamic bytecode

id

protected String id

A unique identifier.

Method Details

clone

public AExpression clone()

Overrides:

clone in class AElement

equals

public boolean equals(AElement o)

Description copied from class: AElement

Returns true if this AElement equals o. This is a slightly faster variant of AElement.equals(Object) for when the argument is statically known to be another nonnull AElement.

Overrides:

equals in class AElement

Parameters:

o - the AElement to compare to

Returns:

true if this is equal to o

equalsExpression

protected boolean equalsExpression(AExpression o)

hashCode

public int hashCode()

Overrides:

hashCode in class AElement

isEmpty

public boolean isEmpty()

Description copied from class: AElement

Returns true if this AElement is empty.

Overrides:

isEmpty in class AElement

Returns:

true iff this is empty

prune

public void prune()

Description copied from class: AElement

Removes empty subelements of this AElement depth-first.

Overrides:

prune in class AElement

toString

public String toString()

Overrides:

toString in class AElement

accept

public <R,
T> R accept(ElementVisitor<R,T> v,
 T t)

Overrides:

accept in class AElement