JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
de.be4.classicalb.core.parser.node
Interface Switchable
All Known Implementing Classes:
AAbstractConstantsContextClause
,
AAbstractConstantsMachineClause
,
AAbstractMachineParseUnit
,
AAddExpression
,
AAnticipatedEventstatus
,
AAnySubstitution
,
AArityExpression
,
AAssertionsMachineClause
,
AAssertionSubstitution
,
AAssignSubstitution
,
AAxiomsContextClause
,
ABecomesElementOfSubstitution
,
ABecomesSuchSubstitution
,
ABinExpression
,
ABlockSubstitution
,
ABooleanFalseExpression
,
ABooleanTrueExpression
,
ABoolSetExpression
,
ABtreeExpression
,
ACardExpression
,
ACartesianProductExpression
,
ACaseOrSubstitution
,
ACaseSubstitution
,
AChoiceOrSubstitution
,
AChoiceSubstitution
,
AClosureExpression
,
ACompositionExpression
,
AComprehensionSetExpression
,
AComputationOperation
,
AConcatExpression
,
AConcreteVariablesMachineClause
,
AConjunctPredicate
,
AConstantsContextClause
,
AConstantsMachineClause
,
AConstExpression
,
AConstraintsMachineClause
,
AConstructorFreetypeConstructor
,
AConvergentEventstatus
,
AConversionDefinition
,
AConvertBoolExpression
,
ACoupleExpression
,
ADefArgpattern
,
ADeferredSetSet
,
ADefineSubstitution
,
ADefinitionExpression
,
ADefinitionFileParseUnit
,
ADefinitionPredicate
,
ADefinitionsMachineClause
,
ADefinitionSubstitution
,
ADescriptionExpression
,
ADescriptionPredicate
,
ADescriptionSet
,
ADirectProductExpression
,
ADisjunctPredicate
,
ADivExpression
,
ADomainExpression
,
ADomainRestrictionExpression
,
ADomainSubtractionExpression
,
AElementFreetypeConstructor
,
AEmptySequenceExpression
,
AEmptySetExpression
,
AEnumeratedSetSet
,
AEqualPredicate
,
AEquivalencePredicate
,
AEvent
,
AEventBComprehensionSetExpression
,
AEventBContextParseUnit
,
AEventBFirstProjectionExpression
,
AEventBFirstProjectionV2Expression
,
AEventBIdentityExpression
,
AEventBModelParseUnit
,
AEventBSecondProjectionExpression
,
AEventBSecondProjectionV2Expression
,
AEventsModelClause
,
AExistsPredicate
,
AExpressionDefinition
,
AExpressionDefinitionDefinition
,
AExpressionParseUnit
,
AExpressionsMachineClause
,
AExtendedExprExpression
,
AExtendedPredPredicate
,
AExtendsContextClause
,
AExtendsMachineClause
,
AFalsityPredicate
,
AFatherExpression
,
AFileDefinitionDefinition
,
AFileExpression
,
AFileMachineReference
,
AFin1SubsetExpression
,
AFinitePredicate
,
AFinSubsetExpression
,
AFirstExpression
,
AFirstProjectionExpression
,
AFlooredDivExpression
,
AForallPredicate
,
AForallSubMessageSubstitution
,
AForLoopSubstitution
,
AFreetype
,
AFreetypesMachineClause
,
AFrontExpression
,
AFuncOpSubstitution
,
AFunctionExpression
,
AFunctionOperation
,
AGeneralConcatExpression
,
AGeneralIntersectionExpression
,
AGeneralProductExpression
,
AGeneralSumExpression
,
AGeneralUnionExpression
,
AGeneratedParseUnit
,
AGreaterEqualPredicate
,
AGreaterPredicate
,
AIdentifierExpression
,
AIdentityExpression
,
AIfElsifSubstitution
,
AIfPredicatePredicate
,
AIfSubstitution
,
AIfThenElseExpression
,
AImageExpression
,
AImplementationMachineParseUnit
,
AImplicationPredicate
,
AImportPackage
,
AImportsMachineClause
,
AIncludesMachineClause
,
AInferredUnitExpression
,
AInfixExpression
,
AInitialisationMachineClause
,
AInsertFrontExpression
,
AInsertTailExpression
,
AIntegerExpression
,
AIntegerSetExpression
,
AIntersectionExpression
,
AIntervalExpression
,
AIntSetExpression
,
AInvalidOperationsClauseMachineClause
,
AInvalidSubstitution
,
AInvariantMachineClause
,
AInvariantModelClause
,
AIseq1Expression
,
AIseqExpression
,
AIterationExpression
,
ALabelPredicate
,
ALambdaExpression
,
ALastExpression
,
ALeftExpression
,
ALessEqualPredicate
,
ALessPredicate
,
ALetExpressionExpression
,
ALetPredicatePredicate
,
ALetSubstitution
,
ALocalOperationsMachineClause
,
AMachineClauseParseUnit
,
AMachineHeader
,
AMachineMachineVariant
,
AMachineReference
,
AMaxExpression
,
AMaxIntExpression
,
AMemberPredicate
,
AMinExpression
,
AMinIntExpression
,
AMinusExpression
,
AMinusOrSetSubtractExpression
,
AMirrorExpression
,
AMissingSemicolonOperation
,
AModelMachineVariant
,
AModuloExpression
,
AMultilineStringExpression
,
AMultiplicationExpression
,
AMultOrCartExpression
,
ANat1SetExpression
,
ANatSetExpression
,
ANatural1SetExpression
,
ANaturalSetExpression
,
ANegationPredicate
,
ANewUnitExpression
,
ANotEqualPredicate
,
ANotMemberPredicate
,
ANotSubsetPredicate
,
ANotSubsetStrictPredicate
,
AOperation
,
AOperationAttribute
,
AOperationCallExpression
,
AOperationCallSubstitution
,
AOperationsMachineClause
,
AOperatorExpression
,
AOperatorPredicate
,
AOperatorSubstitution
,
AOppatternParseUnit
,
AOpSubstitution
,
AOrdinaryEventstatus
,
AOverwriteExpression
,
APackageParseUnit
,
AParallelProductExpression
,
AParallelSubstitution
,
AParseUnitDefinitionParseUnit
,
APartialBijectionExpression
,
APartialFunctionExpression
,
APartialInjectionExpression
,
APartialSurjectionExpression
,
APartitionPredicate
,
APermExpression
,
APostfixExpression
,
APow1SubsetExpression
,
APowerOfExpression
,
APowSubsetExpression
,
APreconditionSubstitution
,
APredecessorExpression
,
APredicateAttributeOperationAttribute
,
APredicateDefinition
,
APredicateDefinitionDefinition
,
APredicateFunctionPredicate
,
APredicateIdentifierPredicate
,
APredicateParseUnit
,
APredicatesMachineClause
,
APrefixExpression
,
APrimedIdentifierExpression
,
APromotesMachineClause
,
APropertiesMachineClause
,
AProverComprehensionSetExpression
,
AQuantifiedIntersectionExpression
,
AQuantifiedUnionExpression
,
ARangeExpression
,
ARangeRestrictionExpression
,
ARangeSubtractionExpression
,
ARankExpression
,
ARecEntry
,
ARecExpression
,
ARecordFieldExpression
,
AReferencesMachineClause
,
ARefinedOperation
,
ARefinementMachineParseUnit
,
ARefinesModelClause
,
AReflexiveClosureExpression
,
ARelationsExpression
,
ARestrictFrontExpression
,
ARestrictTailExpression
,
AReverseExpression
,
ARevExpression
,
ARightExpression
,
ARingExpression
,
ARuleFailSubSubstitution
,
ARuleOperation
,
ASecondProjectionExpression
,
ASeesMachineClause
,
ASeesModelClause
,
ASelectSubstitution
,
ASelectWhenSubstitution
,
ASeq1Expression
,
ASeqExpression
,
ASequenceExtensionExpression
,
ASequenceSubstitution
,
ASetExtensionExpression
,
ASetsContextClause
,
ASetsMachineClause
,
ASetSubtractionExpression
,
ASizeExpression
,
ASizetExpression
,
ASkipSubstitution
,
ASonExpression
,
ASonsExpression
,
AStringExpression
,
AStringSetExpression
,
AStructExpression
,
ASubsetPredicate
,
ASubsetStrictPredicate
,
ASubstitutionDefinitionDefinition
,
ASubstitutionParseUnit
,
ASubstitutionPredicate
,
ASubtreeExpression
,
ASuccessorExpression
,
ASurjectionRelationExpression
,
ASymbolicComprehensionSetExpression
,
ASymbolicLambdaExpression
,
ASymbolicQuantifiedUnionExpression
,
ASystemMachineVariant
,
ATailExpression
,
ATheoremsContextClause
,
ATheoremsModelClause
,
ATopExpression
,
ATotalBijectionExpression
,
ATotalFunctionExpression
,
ATotalInjectionExpression
,
ATotalRelationExpression
,
ATotalSurjectionExpression
,
ATotalSurjectionRelationExpression
,
ATransFunctionExpression
,
ATransRelationExpression
,
ATreeExpression
,
ATruthPredicate
,
ATypeofExpression
,
AUnaryMinusExpression
,
AUndefArgpattern
,
AUnionExpression
,
AUnitAliasParseUnit
,
AUnitExpression
,
AUsesMachineClause
,
AValuesEntry
,
AValuesMachineClause
,
AVariablesMachineClause
,
AVariablesModelClause
,
AVariantModelClause
,
AVarSubstitution
,
AWhileSubstitution
,
AWitness
,
EOF
,
Node
,
PArgpattern
,
PContextClause
,
PDefinition
,
PEvent
,
PEventstatus
,
PExpression
,
PExpressionDefinition
,
PFreetype
,
PFreetypeConstructor
,
PImportPackage
,
PMachineClause
,
PMachineHeader
,
PMachineReference
,
PMachineVariant
,
PModelClause
,
POperation
,
POperationAttribute
,
PParseUnit
,
PPredicate
,
PPredicateDefinition
,
PRecEntry
,
PSet
,
PSubstitution
,
PValuesEntry
,
PWitness
,
Start
,
TAbstractConstants
,
TAbstractVariables
,
TAny
,
TArity
,
TAssert
,
TAssertions
,
TAssign
,
TBe
,
TBegin
,
TBfalse
,
TBin
,
TBool
,
TBoolCast
,
TBtree
,
TCard
,
TCase
,
TChoice
,
TClosure
,
TClosure1
,
TComma
,
TComment
,
TCommentBody
,
TCommentEnd
,
TConc
,
TConcatSequence
,
TConcreteConstants
,
TConcreteVariables
,
TConjunction
,
TConst
,
TConstants
,
TConstraints
,
TDefinitions
,
TDefLiteralPredicate
,
TDefLiteralSubstitution
,
TDirectProduct
,
TDivision
,
TDo
,
TDollar
,
TDom
,
TDomainRestriction
,
TDomainSubtraction
,
TDot
,
TDoubleColon
,
TDoubleEqual
,
TDoubleVerticalBar
,
TEither
,
TElementOf
,
TElse
,
TElsif
,
TEmptySet
,
TEnd
,
TEqual
,
TEquivalence
,
TExists
,
TExpressions
,
TExtends
,
TFalse
,
TFather
,
TFin
,
TFin1
,
TFirst
,
TFnc
,
TForAny
,
TFront
,
TGeneralizedInter
,
TGeneralizedUnion
,
TGreater
,
TGreaterEqual
,
THexLiteral
,
TId
,
TIdentifierLiteral
,
TIf
,
TImplementation
,
TImplies
,
TImports
,
TIn
,
TIncludes
,
TInclusion
,
TInfix
,
TInitialisation
,
TInsertEndSequence
,
TInsertStartSequence
,
TInt
,
TInteger
,
TIntegerLiteral
,
TIntersection
,
TInterval
,
TInvariant
,
TIpragmaUnit
,
TIseq
,
TIseq1
,
TIterate
,
TKwAbstractConstants
,
TKwAbstractVariables
,
TKwAssertions
,
TKwAttributeIdentifier
,
TKwBody
,
TKwComputation
,
TKwConcreteConstants
,
TKwConcreteVariables
,
TKwConstants
,
TKwConstraints
,
TKwCounterexample
,
TKwDefine
,
TKwDefinition
,
TKwDefinitions
,
TKwDummyValue
,
TKwExpect
,
TKwExpression
,
TKwExpressionOperator
,
TKwExtends
,
TKwFor
,
TKwFormula
,
TKwFreetypes
,
TKwFunction
,
TKwImports
,
TKwIncludes
,
TKwInitialisation
,
TKwInvariant
,
TKwLocalOperations
,
TKwMachineClause
,
TKwOperations
,
TKwOppattern
,
TKwPredicate
,
TKwPredicateAttribute
,
TKwPredicateOperator
,
TKwPromotes
,
TKwProperties
,
TKwReferences
,
TKwRule
,
TKwRuleErrorType
,
TKwRuleFail
,
TKwRuleForAll
,
TKwRulesMachine
,
TKwSees
,
TKwSets
,
TKwSubstitution
,
TKwSubstitutionOperator
,
TKwType
,
TKwUses
,
TKwValue
,
TKwValues
,
TKwVariables
,
TLambda
,
TLast
,
TLeft
,
TLeftBrace
,
TLeftBracket
,
TLeftPar
,
TLess
,
TLessEqual
,
TLet
,
TLineComment
,
TLocalOperations
,
TLogicalOr
,
TMachine
,
TMaplet
,
TMax
,
TMaxInt
,
TMin
,
TMinInt
,
TMinus
,
TMirror
,
TMod
,
TModel
,
TMultilineStringContent
,
TMultilineStringEnd
,
TMultilineStringStart
,
TNat
,
TNat1
,
TNatural
,
TNatural1
,
TNewPragmaUnit
,
TNonInclusion
,
TNot
,
TNotBelonging
,
TNotEqual
,
TOf
,
Token
,
TOperations
,
TOr
,
TOutputParameters
,
TOverwriteRelation
,
TPartialBijection
,
TPartialFunction
,
TPartialInjection
,
TPartialSurjection
,
TPerm
,
TPi
,
TPlus
,
TPostfix
,
TPow
,
TPow1
,
TPowerOf
,
TPragmaConversion
,
TPragmaDescription
,
TPragmaEnd
,
TPragmaFile
,
TPragmaFreeText
,
TPragmaGenerated
,
TPragmaIdOrString
,
TPragmaImportPackage
,
TPragmaLabel
,
TPragmaPackage
,
TPragmaStart
,
TPragmaSymbolic
,
TPragmaUnit
,
TPragmaUnitAlias
,
TPre
,
TPred
,
TPredicateIdentifier
,
TPredicates
,
TPrefix
,
TPrj1
,
TPrj2
,
TProduct
,
TPromotes
,
TProperties
,
TQuantifiedInter
,
TQuantifiedSet
,
TQuantifiedUnion
,
TRan
,
TRangeRestriction
,
TRangeSubtraction
,
TRank
,
TRec
,
TRefinement
,
TRefines
,
TRel
,
TRestrictHeadSequence
,
TRestrictTailSequence
,
TRev
,
TRight
,
TRightBrace
,
TRightBracket
,
TRightPar
,
TSees
,
TSelect
,
TSemicolon
,
TSeq
,
TSeq1
,
TSetRelation
,
TSets
,
TSetSubtraction
,
TShebang
,
TShebangChar
,
TShebangEnd
,
TSigma
,
TSingleQuotation
,
TSize
,
TSizet
,
TSkip
,
TSlash
,
TSon
,
TSons
,
TStar
,
TStrictInclusion
,
TStrictNonInclusion
,
TString
,
TStringLiteral
,
TStruct
,
TSubtree
,
TSucc
,
TSurjectionRelation
,
TSystem
,
TTail
,
TThen
,
TTilde
,
TTop
,
TTotalBijection
,
TTotalFunction
,
TTotalInjection
,
TTotalRelation
,
TTotalSurjection
,
TTotalSurjectionRelation
,
TTree
,
TTrue
,
TTruthPredicate
,
TUnderscore
,
TUnion
,
TUnitContent
,
TUnitId
,
TUses
,
TValue
,
TVar
,
TVariables
,
TVariant
,
TVerticalBar
,
TWhen
,
TWhere
,
TWhile
,
TWhiteSpace
public interface
Switchable
Method Summary
All Methods
Instance Methods
Abstract Methods
Modifier and Type
Method and Description
void
apply
(
Switch
sw)
Method Detail
apply
void apply(
Switch
sw)
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method