| de.uka.ilkd.key.logic.ProgramConstruct
All known Subclasses: de.uka.ilkd.key.logic.op.ProgramSV,
| ProgramConstruct | | public interface ProgramConstruct extends Expression,Statement,ILoopInit,IForUpdates,IGuard,Label,TerminalProgramElement,ExpressionStatement,TypeReference,IProgramVariable,Branch,IExecutionContext,MethodName(Code) | | A type that implement this interface can be used in all java
programs instead of an expression or statement. For example class
SchemaVariable implements this interface to be able to stand for
program constructs.
|
|
|