            |  | public class ProgramMethod extends NonRigidFunction implements SourceElement,ProgramElement,MemberDeclaration,ProgramInLogic,Contractable(Code)(Java Doc)
|  | public interface SourceElement extends SVSubstitute(Code)(Java Doc)
|  | public interface ProgramElement extends SourceElement,ModelElement(Code)(Java Doc)
|  | public interface MemberDeclaration extends Declaration,NonTerminalProgramElement(Code)(Java Doc)
|  | public interface ProgramInLogic (Code)(Java Doc)
|  | public interface Contractable (Code)(Java Doc)
|