Package org.checkerframework.afu.scenelib.el

Class ABlock

java.lang.Object

org.checkerframework.afu.scenelib.el.AElement

org.checkerframework.afu.scenelib.el.AExpression

org.checkerframework.afu.scenelib.el.ABlock

All Implemented Interfaces:

Cloneable

public class ABlock
extends AExpression

ABlock has local variables in scope. We currently directly use them only for static initializer blocks, which are not methods, but can declare local variables.

Field Summary

Fields

Modifier and Type	Field	Description
final VivifyingMap<LocalLocation,AField>	locals	The method's annotated local variables; map key contains local variable location numbers.

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

calls, funs, id, instanceofs, news, refs, typecasts

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)
ABlock	clone()
boolean	equals(AElement o)	Returns true if this AElement equals o.
protected boolean	equalsBlock(ABlock 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.AExpression

equalsExpression

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

locals

public final VivifyingMap<LocalLocation,AField> locals

The method's annotated local variables; map key contains local variable location numbers.

Method Details

clone

public ABlock clone()

Overrides:

clone in class AExpression

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 AExpression

Parameters:

o - the AElement to compare to

Returns:

true if this is equal to o

equalsBlock

protected boolean equalsBlock(ABlock o)

hashCode

public int hashCode()

Overrides:

hashCode in class AExpression

isEmpty

public boolean isEmpty()

Description copied from class: AElement

Returns true if this AElement is empty.

Overrides:

isEmpty in class AExpression

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 AExpression

toString

public String toString()

Overrides:

toString in class AExpression

accept

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

Overrides:

accept in class AExpression