| java.lang.Object de.uka.ilkd.key.logic.JavaBlock
JavaBlock | public class JavaBlock (Code) | | |
createJavaBlock | public static JavaBlock createJavaBlock(StatementBlock prg)(Code) | | create a new JavaBlock
Parameters: prg - the root StatementBlock for this JavaBlock.TacletIndex relies on prg being indeed a StatementBlock. |
equals | public boolean equals(Object o)(Code) | | returns true iff the program elements are equal
|
equalsModRenaming | public boolean equalsModRenaming(Object o, NameAbstractionTable nat)(Code) | | returns true if the given ProgramElement is equal to the
one of the JavaBlock modulo renaming (see comment in SourceElement)
|
hashCode | public int hashCode()(Code) | | returns the hashCode
|
isEmpty | public boolean isEmpty()(Code) | | |
|
|