JavaScript is disabled on your browser.
Overview
Package
Class
Tree
Deprecated
Index
Help
KeY 2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
de.uka.ilkd.key.logic.op
Interface SVSubstitute
All Known Subinterfaces:
AbstractProgramElement
,
Branch
,
ConstructorReference
,
Declaration
,
Expression
,
ExpressionContainer
,
ExpressionStatement
,
IExecutionContext
,
IForUpdates
,
IGuard
,
ILoopInit
,
IObserverFunction
,
IProgramMethod
,
IProgramVariable
,
Label
,
LoopInitializer
,
MemberDeclaration
,
MemberReference
,
MethodName
,
MethodOrConstructorReference
,
NamedProgramElement
,
NameReference
,
NonTerminalProgramElement
,
Operator
,
PackageReferenceContainer
,
ParameterContainer
,
ParsableVariable
,
ProgramConstruct
,
ProgramElement
,
ProgramPrefix
,
ProgramVariableName
,
QuantifiableVariable
,
Reference
,
ReferencePrefix
,
ReferenceSuffix
,
SchemaVariable
,
ScopeDefiningElement
,
SortedOperator
,
SourceElement
,
Statement
,
StatementContainer
,
Term
,
TerminalProgramElement
,
TermTransformer
,
TypeDeclarationContainer
,
TypeReference
,
TypeReferenceContainer
,
TypeReferenceInfix
,
TypeScope
,
UpdateableOperator
,
VariableScope
All Known Implementing Classes:
Abstract
,
AbstractOperator
,
AbstractSortedOperator
,
AbstractSV
,
AbstractTermTransformer
,
AddCast
,
AllFields
,
AllObjects
,
AnnotationUseSpecification
,
ArrayBaseInstanceOf
,
ArrayDeclaration
,
ArrayInitializer
,
ArrayLength
,
ArrayLengthReference
,
ArrayPostDecl
,
ArrayReference
,
Assert
,
Assignment
,
BigintLiteral
,
BinaryAnd
,
BinaryAndAssignment
,
BinaryNot
,
BinaryOperator
,
BinaryOr
,
BinaryOrAssignment
,
BinaryXOr
,
BinaryXOrAssignment
,
BooleanLiteral
,
BranchImp
,
BranchStatement
,
Break
,
Case
,
Catch
,
CatchAllStatement
,
CharLiteral
,
ClassDeclaration
,
ClassInitializer
,
Comment
,
ComparativeOperator
,
CompilationUnit
,
Conditional
,
ConstantValue
,
ConstructorCall
,
ConstructorDeclaration
,
ContextStatementBlock
,
Continue
,
CopyAssignment
,
CreateObject
,
Default
,
Divide
,
DivideAssignment
,
DivideLCRMonomials
,
DivideMonomials
,
DLEmbeddedExpression
,
Do
,
DoBreak
,
DoubleLiteral
,
ElementaryUpdate
,
Else
,
EmptyMapLiteral
,
EmptySeqLiteral
,
EmptySetLiteral
,
EmptyStatement
,
EnhancedFor
,
EnhancedForElimination
,
EnumClassDeclaration
,
EnumConstantValue
,
Equality
,
Equals
,
EvaluateArgs
,
ExactInstanceof
,
ExecutionContext
,
ExpandMethodBody
,
ExpandQueriesMetaConstruct
,
ExpressionJumpStatement
,
Extends
,
FieldDeclaration
,
FieldReference
,
FieldSpecification
,
Final
,
Finally
,
FloatLiteral
,
For
,
FormulaSV
,
ForToWhile
,
ForUpdates
,
FreeLiteral
,
Function
,
Ghost
,
GreaterOrEquals
,
GreaterThan
,
Guard
,
If
,
IfExThenElse
,
IfThenElse
,
Implements
,
ImplicitFieldSpecification
,
Import
,
InheritanceSpecification
,
InitArray
,
InitArrayCreation
,
Instanceof
,
InterfaceDeclaration
,
Intersect
,
IntLiteral
,
IntroAtPreDefsOp
,
IsStatic
,
JavaDeclaration
,
JavaNonTerminalProgramElement
,
JavaProgramElement
,
JavaSourceElement
,
JavaStatement
,
JumpStatement
,
Junctor
,
LabeledStatement
,
LabeledTermImpl
,
LabelJumpStatement
,
LessOrEquals
,
LessThan
,
Literal
,
LocalVariableDeclaration
,
LocationVariable
,
LogicalAnd
,
LogicalNot
,
LogicalOr
,
LogicVariable
,
LongLiteral
,
LoopInit
,
LoopStatement
,
MemberPVToField
,
MetaAdd
,
MetaArithBitMaskOp
,
MetaBinaryAnd
,
MetaBinaryOr
,
MetaBinaryXOr
,
MetaClassReference
,
MetaDiv
,
MetaEqual
,
MetaGeq
,
MetaGreater
,
MetaLeq
,
MetaLess
,
MetaMul
,
MetaPow
,
MetaShift
,
MetaShiftLeft
,
MetaShiftRight
,
MetaSub
,
Metavariable
,
MethodBodyStatement
,
MethodCall
,
MethodDeclaration
,
MethodFrame
,
MethodReference
,
Minus
,
MinusAssignment
,
Modality
,
ModalOperatorSV
,
Model
,
Modifier
,
Modulo
,
ModuloAssignment
,
MultipleVarDecl
,
Native
,
Negative
,
New
,
NewArray
,
NoState
,
NotEquals
,
NullLiteral
,
ObserverFunction
,
Operator
,
PackageReference
,
PackageSpecification
,
ParameterDeclaration
,
ParenthesizedExpression
,
PassiveExpression
,
Plus
,
PlusAssignment
,
Positive
,
PostDecrement
,
PostIncrement
,
PostWork
,
PreDecrement
,
PreIncrement
,
Private
,
ProgramConstant
,
ProgramElementName
,
ProgramList
,
ProgramMethod
,
ProgramSV
,
ProgramTransformer
,
ProgramVariable
,
Protected
,
Public
,
Quantifier
,
RealLiteral
,
Return
,
SchematicFieldReference
,
SchemaTypeReference
,
SeqConcat
,
SeqGet
,
SeqIndexOf
,
SeqLength
,
SeqReverse
,
SeqSingleton
,
SeqSub
,
SetMinus
,
SetUnion
,
ShiftLeft
,
ShiftLeftAssignment
,
ShiftRight
,
ShiftRightAssignment
,
SingleLineComment
,
Singleton
,
SkolemTermSV
,
SortDependingFunction
,
SpecialConstructorCall
,
SpecialConstructorReference
,
StatementBlock
,
Static
,
StaticInitialisation
,
StrictFp
,
StringLiteral
,
SubstOp
,
SuperArrayDeclaration
,
SuperConstructorReference
,
SuperReference
,
Switch
,
SwitchToIf
,
Synchronized
,
SynchronizedBlock
,
TermImpl
,
TermLabelSV
,
TermSV
,
Then
,
ThisConstructorReference
,
ThisReference
,
Throw
,
Throws
,
Times
,
TimesAssignment
,
TransactionStatement
,
Transformer
,
Transient
,
Try
,
TwoState
,
TypeCast
,
TypeDeclaration
,
TypeOf
,
TypeOperator
,
TypeRef
,
TypeReferenceImp
,
Unpack
,
UnsignedShiftRight
,
UnsignedShiftRightAssignment
,
UnwindLoop
,
UpdateApplication
,
UpdateJunctor
,
UpdateSV
,
VariableDeclaration
,
VariableNamer.IndProgramElementName
,
VariableNamer.PermIndProgramElementName
,
VariableNamer.TempIndProgramElementName
,
VariableReference
,
VariableSpecification
,
VariableSV
,
VisibilityModifier
,
Volatile
,
WarySubstOp
,
While
public interface
SVSubstitute
JavaCardDL syntactical elements implement this interface if they can occur as instantiations of schema variables.
Overview
Package
Class
Tree
Deprecated
Index
Help
KeY 2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method