public class JavaBlock
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static JavaBlock |
EMPTY_JAVABLOCK
Attention using the JavaBlock below means no program not the empty program.
|
private JavaProgramElement |
prg |
Modifier | Constructor and Description |
---|---|
private |
JavaBlock(JavaProgramElement prg)
create a new JavaBlock
|
Modifier and Type | Method and Description |
---|---|
static JavaBlock |
createJavaBlock(StatementBlock prg)
create a new JavaBlock
|
boolean |
equals(java.lang.Object o)
returns true iff the program elements are equal
|
private boolean |
equalsModRenaming(JavaProgramElement pe,
NameAbstractionTable nat)
returns true if the given ProgramElement is equal to the
one of the JavaBlock modulo renaming (see comment in SourceElement)
|
boolean |
equalsModRenaming(java.lang.Object o,
NameAbstractionTable nat)
returns true if the given ProgramElement is equal to the
one of the JavaBlock modulo renaming (see comment in SourceElement)
|
int |
hashCode()
returns the hashCode
|
boolean |
isEmpty() |
JavaProgramElement |
program()
returns the java program
|
int |
size() |
java.lang.String |
toString()
toString
|
public static final JavaBlock EMPTY_JAVABLOCK
private final JavaProgramElement prg
private JavaBlock(JavaProgramElement prg)
prg
- the root JavaProgramElement for this JavaBlockpublic static JavaBlock createJavaBlock(StatementBlock prg)
prg
- the root StatementBlock for this JavaBlock.
TacletIndex relies on prg
being indeed a StatementBlock.public boolean isEmpty()
public int size()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public boolean equalsModRenaming(java.lang.Object o, NameAbstractionTable nat)
private boolean equalsModRenaming(JavaProgramElement pe, NameAbstractionTable nat)
public JavaProgramElement program()
public java.lang.String toString()
toString
in class java.lang.Object