public class ProofJavaParser extends java.lang.Object implements ProofJavaParserConstants
Modifier and Type | Field and Description |
---|---|
static Token |
jj_nt |
static boolean |
lookingAhead |
static Token |
token |
static ProofJavaParserTokenManager |
token_source |
_DEFAULT, ABSTRACT, ANDASSIGN, ASSERT, ASSIGN, AT, BANG, BIGINT, BIT_AND, BIT_OR, BOOLEAN, BREAK, BREAKTYPE, BYTE, CASE, CATCH, CCATCH, CHAR, CHARACTER_LITERAL, CLASS, COLON, COMMA, CONST, CONTINUE, CONTINUETYPE, DECIMAL_LITERAL, DECR, DEFAULT, DIGIT, DL_EMBEDDED_FUNCTION, DO, DOT, DOUBLE, DOUBLECOLON, ELSE, ENUM, EOF, EQ, EXEC, EXPONENT, EXTENDS, FALSE, FINAL, FINALLY, FLOAT, FLOATING_POINT_LITERAL, FOR, FORMAL_COMMENT, FREE, GE, GOTO, GT, HEX_LITERAL, HOOK, IDENTIFIER, IF, IMPLEMENTS, IMPLICITIDENTIFIER, IMPORT, IN_FORMAL_COMMENT, IN_MULTI_LINE_COMMENT, IN_SINGLE_LINE_COMMENT, INCR, INSTANCEOF, INT, INTEGER_LITERAL, INTERFACE, LBRACE, LBRACKET, LE, LETTER, LOCSET, LONG, LOOPSCOPE, LPAREN, LSHIFT, LSHIFTASSIGN, LT, MAP, MAP_FUNCTION, MERGE_POINT, METHODFRAME, MINUS, MINUSASSIGN, MULTI_LINE_COMMENT, NATIVE, NE, NEW, NULL, OCTAL_LITERAL, ORASSIGN, PACKAGE, PLUS, PLUSASSIGN, PRIVATE, PROTECTED, PUBLIC, RBRACE, RBRACKET, REAL, REM, REMASSIGN, RETURN, RETURNTYPE, RPAREN, RSIGNEDSHIFT, RSIGNEDSHIFTASSIGN, RUNSIGNEDSHIFT, RUNSIGNEDSHIFTASSIGN, SC_AND, SC_OR, SEMICOLON, SEQ, SET, SHARP, SHORT, SINGLE_LINE_COMMENT, SLASH, SLASHASSIGN, STAR, STARASSIGN, STATIC, STRICTFP, STRING_LITERAL, SUPER, SWITCH, SYNCHRONIZED, THIS, THROW, THROWS, TILDE, tokenImage, TRANSACTIONABORT, TRANSACTIONBEGIN, TRANSACTIONCOMMIT, TRANSACTIONFINISH, TRANSIENT, TRUE, TRY, UNICODE_BYTE_ORDER_MARKER, UNKNOWN_CHARACTER_SEQUENCE, VARARGDENOTER, VOID, VOLATILE, WHILE, XOR, XORASSIGN
Constructor and Description |
---|
ProofJavaParser(java.io.InputStream stream) |
ProofJavaParser(java.io.InputStream stream,
java.lang.String encoding) |
ProofJavaParser(ProofJavaParserTokenManager tm) |
ProofJavaParser(java.io.Reader stream) |
public static ProofJavaParserTokenManager token_source
public static Token token
public static Token jj_nt
public static boolean lookingAhead
public ProofJavaParser(java.io.InputStream stream)
public ProofJavaParser(java.io.InputStream stream, java.lang.String encoding)
public ProofJavaParser(java.io.Reader stream)
public ProofJavaParser(ProofJavaParserTokenManager tm)
public static final void initialize(java.io.Reader r)
public static boolean isAwareOfAssert()
public static void setAwareOfAssert(boolean yes)
public static boolean isJava5()
public static void setJava5(boolean yes)
public static void setTabSize(int tabSize)
public static int getTabSize()
public static java.util.List<Comment> getComments()
public static final CompilationUnit CompilationUnit() throws ParseException
ParseException
public static final PackageSpecification PackageDeclaration() throws ParseException
ParseException
public static final Import ImportDeclaration() throws ParseException
ParseException
public static final TypeDeclaration TypeDeclaration() throws ParseException
ParseException
public static final AnnotationDeclaration AnnotationTypeDeclaration() throws ParseException
ParseException
public static final EnumDeclaration EnumDeclaration() throws ParseException
ParseException
public static final EnumConstantDeclaration EnumConstant() throws ParseException
ParseException
public static final ClassDeclaration ClassDeclaration() throws ParseException
ParseException
public static final ClassDeclaration UnmodifiedClassDeclaration() throws ParseException
ParseException
public static final ASTList<MemberDeclaration> ClassBody() throws ParseException
ParseException
public static final ClassDeclaration NestedClassDeclaration() throws ParseException
ParseException
public static final MemberDeclaration ClassBodyDeclaration() throws ParseException
ParseException
public static final InterfaceDeclaration InterfaceDeclaration() throws ParseException
ParseException
public static final InterfaceDeclaration NestedInterfaceDeclaration() throws ParseException
ParseException
public static final InterfaceDeclaration UnmodifiedInterfaceDeclaration() throws ParseException
ParseException
public static final MemberDeclaration InterfaceMemberDeclaration() throws ParseException
ParseException
public static final FieldDeclaration FieldDeclaration() throws ParseException
ParseException
public static final VariableSpecification VariableDeclarator(boolean isForField) throws ParseException
ParseException
public static final Identifier VariableDeclaratorId() throws ParseException
ParseException
public static final Expression VariableInitializer() throws ParseException
ParseException
public static final ArrayInitializer ArrayInitializer() throws ParseException
ParseException
public static final void TypeParameterLookahead() throws ParseException
ParseException
public static final MethodDeclaration MethodDeclaration() throws ParseException
ParseException
public static final void MethodDeclarationLookahead() throws ParseException
ParseException
public static final MethodDeclaration MethodDeclarator(TypeReference tr) throws ParseException
ParseException
public static final ASTList<ParameterDeclaration> FormalParameters() throws ParseException
ParseException
public static final ParameterDeclaration FormalParameter() throws ParseException
ParseException
public static final ConstructorDeclaration ConstructorDeclaration() throws ParseException
ParseException
public static final SpecialConstructorReference ExplicitConstructorInvocation() throws ParseException
ParseException
public static final ClassInitializer Initializer() throws ParseException
ParseException
public static final TypeReference Type() throws ParseException
ParseException
public static final TypeReference PrimitiveType() throws ParseException
ParseException
public static final TypeReference ResultType() throws ParseException
ParseException
public static final ImplicitIdentifier ImplicitIdentifier() throws ParseException
ParseException
public static final Identifier ShortName() throws ParseException
ParseException
public static final UncollatedReferenceQualifier Name() throws ParseException
ParseException
public static final UncollatedReferenceQualifier DeclarationTypedName() throws ParseException
ParseException
public static final UncollatedReferenceQualifier TypedName() throws ParseException
ParseException
public static final ASTList<TypeArgumentDeclaration> TypeArguments() throws ParseException
ParseException
public static final TypeArgumentDeclaration TypeArgument() throws ParseException
ParseException
public static final ASTList<UncollatedReferenceQualifier> TypedNameList() throws ParseException
ParseException
public static final Expression Expression() throws ParseException
ParseException
public static final Assignment AssignmentOperator() throws ParseException
ParseException
public static final Expression ConditionalExpression() throws ParseException
ParseException
public static final Expression ConditionalOrExpression() throws ParseException
ParseException
public static final Expression ConditionalAndExpression() throws ParseException
ParseException
public static final Expression InclusiveOrExpression() throws ParseException
ParseException
public static final Expression ExclusiveOrExpression() throws ParseException
ParseException
public static final Expression AndExpression() throws ParseException
ParseException
public static final Expression EqualityExpression() throws ParseException
ParseException
public static final Expression InstanceOfExpression() throws ParseException
ParseException
public static final Expression RelationalExpression() throws ParseException
ParseException
public static final Expression ShiftExpression() throws ParseException
ParseException
public static final Expression AdditiveExpression() throws ParseException
ParseException
public static final Expression MultiplicativeExpression() throws ParseException
ParseException
public static final Expression UnaryExpression() throws ParseException
ParseException
public static final PreIncrement PreIncrementExpression() throws ParseException
ParseException
public static final PreDecrement PreDecrementExpression() throws ParseException
ParseException
public static final Expression UnaryExpressionNotPlusMinus() throws ParseException
ParseException
public static final Expression ADTGetter() throws ParseException
ParseException
public static final void CastLookahead() throws ParseException
ParseException
public static final Expression PostfixExpression() throws ParseException
ParseException
public static final TypeCast CastExpression() throws ParseException
ParseException
public static final Expression PrimaryExpression() throws ParseException
ParseException
public static final de.uka.ilkd.key.parser.proofjava.ProofJavaParser.PrimaryPrefixReturnValue PrimaryPrefix() throws ParseException
ParseException
public static final Expression ADTConstructor() throws ParseException
ParseException
public static final Expression GeneralEscapeExpression() throws ParseException
ParseException
public static final de.uka.ilkd.key.parser.proofjava.ProofJavaParser.PrimarySuffixReturnValue PrimarySuffix() throws ParseException
ParseException
public static final Expression IndexRange() throws ParseException
ParseException
public static final Literal Literal() throws ParseException
ParseException
public static final BooleanLiteral BooleanLiteral() throws ParseException
ParseException
public static final NullLiteral NullLiteral() throws ParseException
ParseException
public static final EmptySetLiteral EmptySetLiteral() throws ParseException
ParseException
public static final EmptySeqLiteral EmptySeqLiteral() throws ParseException
ParseException
public static final EmptyMapLiteral EmptyMapLiteral() throws ParseException
ParseException
public static final ASTList<Expression> Arguments() throws ParseException
ParseException
public static final ASTList<Expression> ArgumentList() throws ParseException
ParseException
public static final TypeOperator AllocationExpression() throws ParseException
ParseException
public static final NewArray ArrayDimsAndInits(NewArray result) throws ParseException
ParseException
public static final Statement Statement() throws ParseException
ParseException
public static final Statement KeYCatchAllStatement() throws ParseException
ParseException
public static final LabeledStatement LabeledStatement() throws ParseException
ParseException
public static final MethodCallStatement MethodCallStatement() throws ParseException
ParseException
public static final MethodBodyStatement MethodBodyStatement() throws ParseException
ParseException
public static final ExecutionContext ExecutionContext() throws ParseException
ParseException
public static final MethodSignature MethodSignature() throws ParseException
ParseException
public static final StatementBlock Block() throws ParseException
ParseException
public static final StatementBlock StartBlock() throws ParseException
ParseException
public static final Statement BlockStatement() throws ParseException
ParseException
public static final LocalVariableDeclaration LocalVariableDeclaration() throws ParseException
ParseException
public static final EmptyStatement EmptyStatement() throws ParseException
ParseException
public static final Expression StatementExpression() throws ParseException
ParseException
public static final Switch SwitchStatement() throws ParseException
ParseException
public static final Branch SwitchLabel() throws ParseException
ParseException
public static final Assert AssertStatement() throws ParseException
ParseException
public static final If IfStatement() throws ParseException
ParseException
public static final While WhileStatement() throws ParseException
ParseException
public static final Do DoStatement() throws ParseException
ParseException
public static final LoopStatement ForStatement() throws ParseException
ParseException
public static final ASTList<LoopInitializer> ForInit() throws ParseException
ParseException
public static final ASTList<Expression> StatementExpressionList() throws ParseException
ParseException
public static final ASTList<Expression> ForUpdate() throws ParseException
ParseException
public static final TransactionStatement TransactionStatement() throws ParseException
ParseException
public static final Break BreakStatement() throws ParseException
ParseException
public static final Continue ContinueStatement() throws ParseException
ParseException
public static final Return ReturnStatement() throws ParseException
ParseException
public static final Throw ThrowStatement() throws ParseException
ParseException
public static final SynchronizedBlock SynchronizedStatement() throws ParseException
ParseException
public static final LoopScopeBlock LoopScope() throws ParseException
ParseException
public static final MergePointStatement MergePointStatement() throws ParseException
ParseException
public static final Try TryStatement() throws ParseException
ParseException
public static final Exec ExecStatement() throws ParseException
ParseException
public static final ASTList<Statement> GeneralizedStatements() throws ParseException
ParseException
public static final AnnotationUseSpecification AnnotationUse() throws ParseException
ParseException
public static final Expression ElementValue() throws ParseException
ParseException
public static final ASTList<TypeArgumentDeclaration> NonWildcardTypeArguments() throws ParseException
ParseException
public static final ASTList<TypeParameterDeclaration> TypeParametersNoLE() throws ParseException
ParseException
public static final ASTList<TypeParameterDeclaration> TypeParameters() throws ParseException
ParseException
public static final TypeParameterDeclaration TypeParameter() throws ParseException
ParseException
public static final ASTList<TypeReference> Bound() throws ParseException
ParseException
public static final void RUNSIGNEDSHIFT() throws ParseException
ParseException
public static final void RSIGNEDSHIFT() throws ParseException
ParseException
public static void ReInit(java.io.InputStream stream)
public static void ReInit(java.io.InputStream stream, java.lang.String encoding)
public static void ReInit(java.io.Reader stream)
public void ReInit(ProofJavaParserTokenManager tm)
public static final Token getNextToken()
public static final Token getToken(int index)
public static ParseException generateParseException()
public static final void enable_tracing()
public static final void disable_tracing()
Copyright © 2003-2019 The KeY-Project.