jmlparser-core/com.github.javaparser.ast.key

Package-level declarations

AST nodes for the [KeY Theorem Prover](https://key-project.org).

Author

Alexander Weigl

Types

IgnoreLexPrinting

@Retention(value = RetentionPolicy.RUNTIME)

annotation class IgnoreLexPrinting

KeyAbstractExecutionContext

abstract class KeyAbstractExecutionContext : Node

KeyCatchAllStmt

open class KeyCatchAllStmt : Statement

KeyCcatchBranch

abstract class KeyCcatchBranch : Node

KeyCcatchBreak

open class KeyCcatchBreak : KeyCcatchBranch

KeyCcatchContinue

open class KeyCcatchContinue : KeyCcatchBranch

KeyCcatchParameter

open class KeyCcatchParameter : KeyCcatchBranch

KeyCcatchReturn

open class KeyCcatchReturn : KeyCcatchBranch

KeyEscapeExpression

open class KeyEscapeExpression : Expression

KeyExecStmt

open class KeyExecStmt : Statement

KeyExecutionContext

open class KeyExecutionContext : KeyAbstractExecutionContext

An execution context re-defines the context in which a given java block is executed.

KeyLoopScopeBlockStmt

open class KeyLoopScopeBlockStmt : Statement

KeyMarkerStatement

open class KeyMarkerStatement : Statement

This class is statement, that can be plugged everywhere.

KeyMergePointStmt

open class KeyMergePointStmt : Statement

A statement marking a merge point for the theorem prover, carries an ;

KeyMethodBodyStatement

open class KeyMethodBodyStatement : Statement

KeyMethodCallStmt

open class KeyMethodCallStmt : Statement

KeyMethodSignature

open class KeyMethodSignature : Node

KeyPassiveExpression

open class KeyPassiveExpression : Expression

A passive expression is an expression with a static-suppression semantics.

KeyTransactionStmt

open class KeyTransactionStmt : Statement

A transaction statement is a Java statement to modeling JavaCard transaction.