public class SchemaJavaParser extends java.lang.Object implements SchemaJavaParserConstants
Modifier and Type | Field and Description |
---|---|
static Token |
jj_nt |
static boolean |
lookingAhead |
static Token |
token |
static SchemaJavaParserTokenManager |
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, CONTEXTEND, CONTEXTSTART, CONTINUE, CONTINUETYPE, DECIMAL_LITERAL, DECR, DEFAULT, DIGIT, DO, DOT, DOUBLE, ELSE, ENUM, EOF, EQ, EVALARGS, EXEC, EXPONENT, EXTENDS, FALSE, FINAL, FINALLY, FLOAT, FLOATING_POINT_LITERAL, FOR, FORINITUNFOLDTRANSFORMER, FORMAL_COMMENT, GE, GHOST, 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, ISSTATIC, LBRACE, LBRACKET, LE, LETTER, LONG, LOOPSCOPE, LOOPSCOPEINVARIANTTRANSFORMER, LPAREN, LSHIFT, LSHIFTASSIGN, LT, MERGEPOINT, MINUS, MINUSASSIGN, MULTI_LINE_COMMENT, NATIVE, NE, NEW, NULL, OCTAL_LITERAL, ORASSIGN, PACKAGE, PLUS, PLUSASSIGN, PRIVATE, PROTECTED, PUBLIC, RBRACE, RBRACKET, REAL, REATTACHLOOPINVARIANT, REM, REMASSIGN, REPLACEARGS, RETURN, RETURNTYPE, RPAREN, RSIGNEDSHIFT, RSIGNEDSHIFTASSIGN, RUNSIGNEDSHIFT, RUNSIGNEDSHIFTASSIGN, SC_AND, SC_OR, SEMICOLON, SET, SHARP, SHORT, SINGLE_LINE_COMMENT, SLASH, SLASHASSIGN, STAR, STARASSIGN, STATIC, STRICTFP, STRING_LITERAL, SUPER, SVIDENTIFIER, SWITCH, SWITCHTOIF, SYNCHRONIZED, THIS, THROW, THROWS, TILDE, tokenImage, TRANSACTIONABORT, TRANSACTIONBEGIN, TRANSACTIONCOMMIT, TRANSACTIONFINISH, TRANSIENT, TRUE, TRY, TYPEOF, UNPACK, VOID, VOLATILE, WHILE, XOR, XORASSIGN
Constructor and Description |
---|
SchemaJavaParser(java.io.InputStream stream) |
SchemaJavaParser(java.io.InputStream stream,
java.lang.String encoding) |
SchemaJavaParser(java.io.Reader stream) |
SchemaJavaParser(SchemaJavaParserTokenManager tm) |
public static SchemaJavaParserTokenManager token_source
public static Token token
public static Token jj_nt
public static boolean lookingAhead
public SchemaJavaParser(java.io.InputStream stream)
public SchemaJavaParser(java.io.InputStream stream, java.lang.String encoding)
public SchemaJavaParser(java.io.Reader stream)
public SchemaJavaParser(SchemaJavaParserTokenManager 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 VariableSpecification SVVariableDeclarator(boolean isForField) throws ParseException
ParseException
public static final ArrayInitializer ArrayInitializer() 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 RawType() throws ParseException
ParseException
public static final TypeSVWrapper TypeSV() throws ParseException
ParseException
public static final ExecutionContext ExecutionContext() throws ParseException
ParseException
public static final ExecCtxtSVWrapper ExecutionContextSV() throws ParseException
ParseException
public static final MethodSignatureSVWrapper MethodSignatureSV() throws ParseException
ParseException
public static final JumpLabelSVWrapper JumpLabelSV() throws ParseException
ParseException
public static final RKeYMetaConstructType TypeMC() throws ParseException
ParseException
public static final RKeYMetaConstructExpression IsStaticMC() throws ParseException
ParseException
public static final ProgramVariableSVWrapper VariableSV() throws ParseException
ParseException
public static final TypeReference PrimitiveType() throws ParseException
ParseException
public static final TypeReference ResultType() throws ParseException
ParseException
public static final UncollatedReferenceQualifier Name() 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 ExpressionSVWrapper ExpressionSV() throws ParseException
ParseException
public static final CatchSVWrapper CatchSV() throws ParseException
ParseException
public static final CcatchSVWrapper CcatchSV() 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.schemajava.SchemaJavaParser.PrimaryPrefixReturnValue PrimaryPrefix() throws ParseException
ParseException
public static final de.uka.ilkd.key.parser.schemajava.SchemaJavaParser.PrimarySuffixReturnValue PrimarySuffix() 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 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 StatementSVWrapper StatementSV() throws ParseException
ParseException
public static final LabeledStatement LabeledStatement() throws ParseException
ParseException
public static final RMethodCallStatement RMethodCallStatement() throws ParseException
ParseException
public static final RMethodBodyStatement RMethodBodyStatement() 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 LocalVariableDeclaration SVLocalVariableDeclaration() 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 RKeYMetaConstruct KeYMetaConstructStatement() throws ParseException
ParseException
public static final While WhileStatement() throws ParseException
ParseException
public static final LoopScopeBlock LoopScopeStatement() throws ParseException
ParseException
public static final MergePointStatement MergePointStatement() 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 Try TryStatement() throws ParseException
ParseException
public static final Exec ExecStatement() throws ParseException
ParseException
public static final Expression ADTConstructor() 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 final Identifier ImplicitIdentifier() 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(SchemaJavaParserTokenManager 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.