public class JavaBlock extends 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(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(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() |
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 boolean equals(Object o)
public boolean equalsModRenaming(Object o, NameAbstractionTable nat)
private boolean equalsModRenaming(JavaProgramElement pe, NameAbstractionTable nat)
public JavaProgramElement program()