Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.parser.proofjava |
Modifier and Type | Method and Description |
---|---|
ParseException |
ConvertException.proofJavaException() |
Modifier and Type | Method and Description |
---|---|
static ParseException |
ProofJavaParser.generateParseException() |
Modifier and Type | Method and Description |
---|---|
static Expression |
ProofJavaParser.AdditiveExpression() |
static Expression |
ProofJavaParser.ADTConstructor() |
static Expression |
ProofJavaParser.ADTGetter() |
static TypeOperator |
ProofJavaParser.AllocationExpression() |
static Expression |
ProofJavaParser.AndExpression() |
static AnnotationDeclaration |
ProofJavaParser.AnnotationTypeDeclaration() |
static AnnotationUseSpecification |
ProofJavaParser.AnnotationUse() |
static ASTList<Expression> |
ProofJavaParser.ArgumentList() |
static ASTList<Expression> |
ProofJavaParser.Arguments() |
static NewArray |
ProofJavaParser.ArrayDimsAndInits(NewArray result) |
static ArrayInitializer |
ProofJavaParser.ArrayInitializer() |
static Assert |
ProofJavaParser.AssertStatement() |
static Assignment |
ProofJavaParser.AssignmentOperator() |
static StatementBlock |
ProofJavaParser.Block() |
static Statement |
ProofJavaParser.BlockStatement() |
static BooleanLiteral |
ProofJavaParser.BooleanLiteral() |
static ASTList<TypeReference> |
ProofJavaParser.Bound() |
static Break |
ProofJavaParser.BreakStatement() |
static TypeCast |
ProofJavaParser.CastExpression() |
static void |
ProofJavaParser.CastLookahead() |
static ASTList<MemberDeclaration> |
ProofJavaParser.ClassBody() |
static MemberDeclaration |
ProofJavaParser.ClassBodyDeclaration() |
static ClassDeclaration |
ProofJavaParser.ClassDeclaration() |
static CompilationUnit |
ProofJavaParser.CompilationUnit()
THE JAVA LANGUAGE GRAMMAR STARTS HERE *
|
static Expression |
ProofJavaParser.ConditionalAndExpression() |
static Expression |
ProofJavaParser.ConditionalExpression() |
static Expression |
ProofJavaParser.ConditionalOrExpression() |
static ConstructorDeclaration |
ProofJavaParser.ConstructorDeclaration() |
static Continue |
ProofJavaParser.ContinueStatement() |
static UncollatedReferenceQualifier |
ProofJavaParser.DeclarationTypedName() |
static Do |
ProofJavaParser.DoStatement() |
static Expression |
ProofJavaParser.ElementValue() |
static EmptyMapLiteral |
ProofJavaParser.EmptyMapLiteral() |
static EmptySeqLiteral |
ProofJavaParser.EmptySeqLiteral() |
static EmptySetLiteral |
ProofJavaParser.EmptySetLiteral() |
static EmptyStatement |
ProofJavaParser.EmptyStatement() |
static EnumConstantDeclaration |
ProofJavaParser.EnumConstant() |
static EnumDeclaration |
ProofJavaParser.EnumDeclaration() |
static Expression |
ProofJavaParser.EqualityExpression() |
static Expression |
ProofJavaParser.ExclusiveOrExpression() |
static Exec |
ProofJavaParser.ExecStatement() |
static ExecutionContext |
ProofJavaParser.ExecutionContext() |
static SpecialConstructorReference |
ProofJavaParser.ExplicitConstructorInvocation() |
static Expression |
ProofJavaParser.Expression() |
static FieldDeclaration |
ProofJavaParser.FieldDeclaration() |
static ASTList<LoopInitializer> |
ProofJavaParser.ForInit() |
static ParameterDeclaration |
ProofJavaParser.FormalParameter() |
static ASTList<ParameterDeclaration> |
ProofJavaParser.FormalParameters() |
static LoopStatement |
ProofJavaParser.ForStatement() |
static ASTList<Expression> |
ProofJavaParser.ForUpdate() |
static Expression |
ProofJavaParser.GeneralEscapeExpression() |
static ASTList<Statement> |
ProofJavaParser.GeneralizedStatements()
For partial parsing ONLY.
|
static If |
ProofJavaParser.IfStatement() |
static ImplicitIdentifier |
ProofJavaParser.ImplicitIdentifier()
an implicit identifier is embraced by "<" and ">"
To make sure "<a>" is an implicit identifier and "< a>" is not
the first "<" token can be tested whether the token IMPLICITIDENTIFIER
had been found and reduced to "<".
|
static Import |
ProofJavaParser.ImportDeclaration() |
static Expression |
ProofJavaParser.InclusiveOrExpression() |
static Expression |
ProofJavaParser.IndexRange() |
static ClassInitializer |
ProofJavaParser.Initializer() |
static Expression |
ProofJavaParser.InstanceOfExpression() |
static InterfaceDeclaration |
ProofJavaParser.InterfaceDeclaration() |
static MemberDeclaration |
ProofJavaParser.InterfaceMemberDeclaration() |
static Statement |
ProofJavaParser.KeYCatchAllStatement() |
static LabeledStatement |
ProofJavaParser.LabeledStatement() |
static Literal |
ProofJavaParser.Literal() |
static LocalVariableDeclaration |
ProofJavaParser.LocalVariableDeclaration() |
static LoopScopeBlock |
ProofJavaParser.LoopScope() |
static MergePointStatement |
ProofJavaParser.MergePointStatement() |
static MethodBodyStatement |
ProofJavaParser.MethodBodyStatement() |
static MethodCallStatement |
ProofJavaParser.MethodCallStatement() |
static MethodDeclaration |
ProofJavaParser.MethodDeclaration() |
static void |
ProofJavaParser.MethodDeclarationLookahead() |
static MethodDeclaration |
ProofJavaParser.MethodDeclarator(TypeReference tr) |
static MethodSignature |
ProofJavaParser.MethodSignature() |
static Expression |
ProofJavaParser.MultiplicativeExpression() |
static UncollatedReferenceQualifier |
ProofJavaParser.Name() |
static ClassDeclaration |
ProofJavaParser.NestedClassDeclaration() |
static InterfaceDeclaration |
ProofJavaParser.NestedInterfaceDeclaration() |
static ASTList<TypeArgumentDeclaration> |
ProofJavaParser.NonWildcardTypeArguments() |
static NullLiteral |
ProofJavaParser.NullLiteral() |
static PackageSpecification |
ProofJavaParser.PackageDeclaration() |
static Expression |
ProofJavaParser.PostfixExpression() |
static PreDecrement |
ProofJavaParser.PreDecrementExpression() |
static PreIncrement |
ProofJavaParser.PreIncrementExpression() |
static Expression |
ProofJavaParser.PrimaryExpression() |
static de.uka.ilkd.key.parser.proofjava.ProofJavaParser.PrimaryPrefixReturnValue |
ProofJavaParser.PrimaryPrefix() |
static de.uka.ilkd.key.parser.proofjava.ProofJavaParser.PrimarySuffixReturnValue |
ProofJavaParser.PrimarySuffix() |
static TypeReference |
ProofJavaParser.PrimitiveType() |
static Expression |
ProofJavaParser.RelationalExpression() |
static TypeReference |
ProofJavaParser.ResultType() |
static Return |
ProofJavaParser.ReturnStatement() |
static void |
ProofJavaParser.RSIGNEDSHIFT() |
static void |
ProofJavaParser.RUNSIGNEDSHIFT() |
static Expression |
ProofJavaParser.ShiftExpression() |
static Identifier |
ProofJavaParser.ShortName() |
static StatementBlock |
ProofJavaParser.StartBlock() |
static Statement |
ProofJavaParser.Statement() |
static Expression |
ProofJavaParser.StatementExpression() |
static ASTList<Expression> |
ProofJavaParser.StatementExpressionList() |
static Branch |
ProofJavaParser.SwitchLabel() |
static Switch |
ProofJavaParser.SwitchStatement() |
static SynchronizedBlock |
ProofJavaParser.SynchronizedStatement() |
static Throw |
ProofJavaParser.ThrowStatement() |
static TransactionStatement |
ProofJavaParser.TransactionStatement() |
static Try |
ProofJavaParser.TryStatement() |
static TypeReference |
ProofJavaParser.Type() |
static TypeArgumentDeclaration |
ProofJavaParser.TypeArgument()
bug: This grammar accepts for instance List
|
static ASTList<TypeArgumentDeclaration> |
ProofJavaParser.TypeArguments() |
static TypeDeclaration |
ProofJavaParser.TypeDeclaration() |
static UncollatedReferenceQualifier |
ProofJavaParser.TypedName() |
static ASTList<UncollatedReferenceQualifier> |
ProofJavaParser.TypedNameList() |
static TypeParameterDeclaration |
ProofJavaParser.TypeParameter() |
static void |
ProofJavaParser.TypeParameterLookahead() |
static ASTList<TypeParameterDeclaration> |
ProofJavaParser.TypeParameters() |
static ASTList<TypeParameterDeclaration> |
ProofJavaParser.TypeParametersNoLE() |
static Expression |
ProofJavaParser.UnaryExpression() |
static Expression |
ProofJavaParser.UnaryExpressionNotPlusMinus() |
static ClassDeclaration |
ProofJavaParser.UnmodifiedClassDeclaration() |
static InterfaceDeclaration |
ProofJavaParser.UnmodifiedInterfaceDeclaration() |
static VariableSpecification |
ProofJavaParser.VariableDeclarator(boolean isForField) |
static Identifier |
ProofJavaParser.VariableDeclaratorId() |
static Expression |
ProofJavaParser.VariableInitializer() |
static While |
ProofJavaParser.WhileStatement() |
Copyright © 2003-2019 The KeY-Project.