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.
|
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
|
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
public 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)
public JavaProgramElement program()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.