JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
KeY 2.7.1591_4abe0e7c170fc61dd74a695a6efcf763b0f06898
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
de.uka.ilkd.key.java
Interface ModelElement
All Known Subinterfaces:
AbstractProgramElement
,
ArrayType
,
Branch
,
ClassType
,
ClassTypeContainer
,
Constructor
,
ConstructorReference
,
Declaration
,
Expression
,
ExpressionContainer
,
ExpressionStatement
,
Field
,
IExecutionContext
,
IForUpdates
,
IGuard
,
ILoopInit
,
IProgramMethod
,
IProgramVariable
,
Label
,
LoopInitializer
,
Member
,
MemberDeclaration
,
MemberReference
,
Method
,
MethodName
,
MethodOrConstructorReference
,
NamedModelElement
,
NamedProgramElement
,
NameReference
,
NonTerminalProgramElement
,
PackageReferenceContainer
,
ParameterContainer
,
ProgramConstruct
,
ProgramElement
,
ProgramModelElement
,
ProgramPrefix
,
ProgramVariableName
,
Reference
,
ReferencePrefix
,
ReferenceSuffix
,
ScopeDefiningElement
,
Statement
,
StatementContainer
,
TerminalProgramElement
,
Type
,
TypeDeclarationContainer
,
TypeReference
,
TypeReferenceContainer
,
TypeReferenceInfix
,
TypeScope
,
Variable
,
VariableScope
All Known Implementing Classes:
Abstract
,
AbstractIntegerLiteral
,
AllFields
,
AllObjects
,
AnnotationUseSpecification
,
ArrayDeclaration
,
ArrayInitializer
,
ArrayLength
,
ArrayLengthReference
,
ArrayPostDecl
,
ArrayReference
,
Assert
,
Assignment
,
BinaryAnd
,
BinaryAndAssignment
,
BinaryNot
,
BinaryOperator
,
BinaryOr
,
BinaryOrAssignment
,
BinaryXOr
,
BinaryXOrAssignment
,
BooleanLiteral
,
BranchImp
,
BranchStatement
,
Break
,
Case
,
Catch
,
CatchAllStatement
,
CharLiteral
,
ClassDeclaration
,
ClassInitializer
,
ComparativeOperator
,
CompilationUnit
,
Conditional
,
ConstructorCall
,
ConstructorDeclaration
,
ContextStatementBlock
,
Continue
,
CopyAssignment
,
CreateObject
,
Default
,
DefaultConstructor
,
Divide
,
DivideAssignment
,
DLEmbeddedExpression
,
Do
,
DoBreak
,
DoubleLiteral
,
Else
,
EmptyMapLiteral
,
EmptySeqLiteral
,
EmptySetLiteral
,
EmptyStatement
,
EnhancedFor
,
EnhancedForElimination
,
EnumClassDeclaration
,
Equals
,
EvaluateArgs
,
ExactInstanceof
,
ExecutionContext
,
ExpandMethodBody
,
ExpressionJumpStatement
,
Extends
,
FieldDeclaration
,
FieldReference
,
FieldSpecification
,
Final
,
Finally
,
FloatLiteral
,
For
,
ForInitUnfoldTransformer
,
ForToWhile
,
ForUpdates
,
FreeLiteral
,
Ghost
,
GreaterOrEquals
,
GreaterThan
,
Guard
,
If
,
Implements
,
ImplicitFieldSpecification
,
Import
,
InheritanceSpecification
,
InitArray
,
InitArrayCreation
,
Instanceof
,
InterfaceDeclaration
,
Intersect
,
IntLiteral
,
IsStatic
,
JavaDeclaration
,
JavaNonTerminalProgramElement
,
JavaProgramElement
,
JavaStatement
,
JumpStatement
,
KeYJavaType
,
LabeledStatement
,
LabelJumpStatement
,
LessOrEquals
,
LessThan
,
Literal
,
LocalVariableDeclaration
,
LocationVariable
,
LogicalAnd
,
LogicalNot
,
LogicalOr
,
LongLiteral
,
LoopInit
,
LoopScopeBlock
,
LoopStatement
,
MergePointStatement
,
MetaClassReference
,
MethodBodyStatement
,
MethodCall
,
MethodDeclaration
,
MethodFrame
,
MethodReference
,
Minus
,
MinusAssignment
,
Model
,
Modifier
,
Modulo
,
ModuloAssignment
,
MultipleVarDecl
,
Native
,
Negative
,
New
,
NewArray
,
NoState
,
NotEquals
,
NullLiteral
,
NullType
,
Operator
,
Package
,
PackageReference
,
PackageSpecification
,
ParameterDeclaration
,
ParenthesizedExpression
,
PassiveExpression
,
Plus
,
PlusAssignment
,
Positive
,
PostDecrement
,
PostIncrement
,
PostWork
,
PreDecrement
,
PreIncrement
,
PrimitiveType
,
Private
,
ProgramConstant
,
ProgramElementName
,
ProgramMethod
,
ProgramSV
,
ProgramTransformer
,
ProgramVariable
,
Protected
,
Public
,
RealLiteral
,
Return
,
SchematicFieldReference
,
SchemaTypeReference
,
SeqConcat
,
SeqGet
,
SeqIndexOf
,
SeqLength
,
SeqReverse
,
SeqSingleton
,
SeqSub
,
SetMinus
,
SetUnion
,
ShiftLeft
,
ShiftLeftAssignment
,
ShiftRight
,
ShiftRightAssignment
,
Singleton
,
SpecialConstructorCall
,
SpecialConstructorReference
,
StatementBlock
,
Static
,
StaticInitialisation
,
StrictFp
,
StringLiteral
,
SuperArrayDeclaration
,
SuperConstructorReference
,
SuperReference
,
Switch
,
SwitchToIf
,
Synchronized
,
SynchronizedBlock
,
Then
,
ThisConstructorReference
,
ThisReference
,
Throw
,
Throws
,
Times
,
TimesAssignment
,
TransactionStatement
,
Transient
,
Try
,
TwoState
,
TypeCast
,
TypeDeclaration
,
TypeOf
,
TypeOperator
,
TypeRef
,
TypeReferenceImp
,
Unpack
,
UnsignedShiftRight
,
UnsignedShiftRightAssignment
,
UnwindLoop
,
VariableDeclaration
,
VariableNamer.IndProgramElementName
,
VariableNamer.PermIndProgramElementName
,
VariableNamer.TempIndProgramElementName
,
VariableReference
,
VariableSpecification
,
VisibilityModifier
,
Volatile
,
While
public interface
ModelElement
A semantical part of the software model. A source element is not necessarily connected to a piece of syntax.
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
KeY 2.7.1591_4abe0e7c170fc61dd74a695a6efcf763b0f06898
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method