public class SchemaJavaProgramFactory extends JavaProgramFactory
| Modifier and Type | Field and Description |
|---|---|
private static SchemaJavaParser |
parser
For internal reuse and synchronization.
|
protected Namespace |
svns |
private static SchemaJavaProgramFactory |
theFactory
The singleton instance of the program factory.
|
private static SourceElement.Position |
ZERO_POSITION |
| Modifier | Constructor and Description |
|---|---|
protected |
SchemaJavaProgramFactory()
Protected constructor - use
getInstance() instead. |
createAbstract, createAnnotationDeclaration, createAnnotationDeclaration, createAnnotationPropertyDeclaration, createAnnotationPropertyReference, createAnnotationPropertyReference, createAnnotationUseSpecification, createArrayInitializer, createArrayInitializer, createArrayLengthReference, createArrayLengthReference, createArrayReference, createArrayReference, createAssert, createAssert, createAssert, createBinaryAnd, createBinaryAnd, createBinaryAndAssignment, createBinaryAndAssignment, createBinaryNot, createBinaryNot, createBinaryOr, createBinaryOr, createBinaryOrAssignment, createBinaryOrAssignment, createBinaryXOr, createBinaryXOr, createBinaryXOrAssignment, createBinaryXOrAssignment, createBooleanLiteral, createBooleanLiteral, createBreak, createBreak, createCase, createCase, createCase, createCatch, createCatch, createCharLiteral, createCharLiteral, createCharLiteral, createClassDeclaration, createClassDeclaration, createClassDeclaration, createClassInitializer, createClassInitializer, createClassInitializer, createComment, createComment, createComment, createCompilationUnit, createCompilationUnit, createConditional, createConditional, createConstructorDeclaration, createConstructorDeclaration, createContinue, createContinue, createCopyAssignment, createCopyAssignment, createDefault, createDefault, createDivide, createDivide, createDivideAssignment, createDivideAssignment, createDo, createDo, createDo, createDocComment, createDocComment, createDoubleLiteral, createDoubleLiteral, createDoubleLiteral, createElse, createElse, createEmptyStatement, createEnhancedFor, createEquals, createEquals, createExtends, createExtends, createExtends, createFieldDeclaration, createFieldDeclaration, createFieldDeclaration, createFieldDeclaration, createFieldReference, createFieldReference, createFieldReference, createFieldSpecification, createFieldSpecification, createFieldSpecification, createFieldSpecification, createFinal, createFinally, createFinally, createFloatLiteral, createFloatLiteral, createFloatLiteral, createFor, createFor, createGreaterOrEquals, createGreaterOrEquals, createGreaterThan, createGreaterThan, createIdentifier, createIf, createIf, createIf, createIf, createIf, createImplements, createImplements, createImplements, createImport, createImport, createImport, createInstanceof, createInstanceof, createInterfaceDeclaration, createInterfaceDeclaration, createIntLiteral, createIntLiteral, createIntLiteral, createLabeledStatement, createLabeledStatement, createLabeledStatement, createLessOrEquals, createLessOrEquals, createLessThan, createLessThan, createLocalVariableDeclaration, createLocalVariableDeclaration, createLocalVariableDeclaration, createLocalVariableDeclaration, createLogicalAnd, createLogicalAnd, createLogicalNot, createLogicalNot, createLogicalOr, createLogicalOr, createLongLiteral, createLongLiteral, createLongLiteral, createMetaClassReference, createMetaClassReference, createMethodDeclaration, createMethodDeclaration, createMethodDeclaration, createMethodReference, createMethodReference, createMethodReference, createMethodReference, createMethodReference, createMethodReference, createMinus, createMinus, createMinusAssignment, createMinusAssignment, createModulo, createModulo, createModuloAssignment, createModuloAssignment, createNative, createNegative, createNegative, createNew, createNew, createNew, createNewArray, createNewArray, createNewArray, createNotEquals, createNotEquals, createNullLiteral, createPackageReference, createPackageReference, createPackageReference, createPackageSpecification, createPackageSpecification, createParameterDeclaration, createParameterDeclaration, createParameterDeclaration, createParenthesizedExpression, createParenthesizedExpression, createPlus, createPlus, createPlusAssignment, createPlusAssignment, createPositive, createPositive, createPostDecrement, createPostDecrement, createPostIncrement, createPostIncrement, createPreDecrement, createPreDecrement, createPreIncrement, createPreIncrement, createPrivate, createProtected, createPublic, createReturn, createReturn, createShiftLeft, createShiftLeft, createShiftLeftAssignment, createShiftLeftAssignment, createShiftRight, createShiftRight, createShiftRightAssignment, createShiftRightAssignment, createSingleLineComment, createSingleLineComment, createStatementBlock, createStatementBlock, createStatic, createStaticImport, createStaticImport, createStrictFp, createStringLiteral, createStringLiteral, createSuperConstructorReference, createSuperConstructorReference, createSuperConstructorReference, createSuperReference, createSuperReference, createSwitch, createSwitch, createSwitch, createSynchronized, createSynchronizedBlock, createSynchronizedBlock, createSynchronizedBlock, createThen, createThen, createThisConstructorReference, createThisConstructorReference, createThisReference, createThisReference, createThrow, createThrow, createThrows, createThrows, createThrows, createTimes, createTimes, createTimesAssignment, createTimesAssignment, createTransient, createTry, createTry, createTry, createTypeCast, createTypeCast, createTypeReference, createTypeReference, createTypeReference, createTypeReference, createUncollatedReferenceQualifier, createUncollatedReferenceQualifier, createUncollatedReferenceQualifier, createUnsignedShiftRight, createUnsignedShiftRight, createUnsignedShiftRightAssignment, createUnsignedShiftRightAssignment, createVariableReference, createVariableReference, createVariableSpecification, createVariableSpecification, createVariableSpecification, createVariableSpecification, createVolatile, createWhile, createWhile, createWhile, getPrettyPrinter, getServiceConfiguration, initialize, main, parseCompilationUnit, parseCompilationUnits, parseConstructorDeclaration, parseExpression, parseFieldDeclaration, parseInt, parseLong, parseMemberDeclaration, parseMethodDeclaration, parseParameterDeclaration, parseStatements, parseTypeDeclaration, parseTypeReference, propertyChangeprotected Namespace svns
private static SchemaJavaProgramFactory theFactory
private static final SchemaJavaParser parser
private static final SourceElement.Position ZERO_POSITION
protected SchemaJavaProgramFactory()
getInstance() instead.public static JavaProgramFactory getInstance()
public ImplicitIdentifier createImplicitIdentifier(String text)
ImplicitIdentifier.public Identifier createIdentifier(String text)
createIdentifier in interface ProgramFactorycreateIdentifier in class JavaProgramFactorypublic SpecialReferenceWrapper createThisReference(TypeReference typeRef, Expression var)
public RMethodCallStatement createRMethodCallStatement(ProgramVariableSVWrapper resVar, ExecutionContext esvw, Statement st)
public RMethodBodyStatement createRMethodBodyStatement(TypeReference typeRef, ProgramVariableSVWrapper resVar, MethodReference mr)
public RKeYMetaConstruct createRKeYMetaConstruct()
public RKeYMetaConstructExpression createRKeYMetaConstructExpression()
public RKeYMetaConstructType createRKeYMetaConstructType()
public ContextStatementBlock createContextStatementBlock(TypeSVWrapper typeRef, MethodSignatureSVWrapper pm, ExpressionSVWrapper var)
public ContextStatementBlock createContextStatementBlock(ExecCtxtSVWrapper ec)
public PassiveExpression createPassiveExpression(Expression e)
PassiveExpression.public PassiveExpression createPassiveExpression()
PassiveExpression.public static void throwSortInvalid(SchemaVariable sv, String s) throws ParseException
ParseExceptionpublic boolean lookupSchemaVariableType(String s, ProgramSVSort sort)
public SchemaVariable lookupSchemaVariable(String s) throws ParseException
ParseExceptionpublic StatementSVWrapper getStatementSV(String s) throws ParseException
ParseExceptionpublic ExpressionSVWrapper getExpressionSV(String s) throws ParseException
ParseExceptionpublic LabelSVWrapper getLabelSV(String s) throws ParseException
ParseExceptionpublic MethodSignatureSVWrapper getMethodSignatureSVWrapper(String s) throws ParseException
ParseExceptionpublic JumpLabelSVWrapper getJumpLabelSV(String s) throws ParseException
ParseExceptionpublic TypeSVWrapper getTypeSV(String s) throws ParseException
ParseExceptionpublic ExecCtxtSVWrapper getExecutionContextSV(String s) throws ParseException
ParseExceptionpublic ProgramVariableSVWrapper getProgramVariableSV(String s) throws ParseException
ParseExceptionpublic CatchSVWrapper getCatchSV(String s) throws ParseException
ParseExceptionprivate static void attachComment(Comment c, ProgramElement pe)
private static void postWork(ProgramElement pe)
public CompilationUnit parseCompilationUnit(Reader in) throws IOException, ParserException
CompilationUnit from the given reader.parseCompilationUnit in interface ProgramFactoryparseCompilationUnit in class JavaProgramFactoryIOExceptionParserExceptionpublic TypeDeclaration parseTypeDeclaration(Reader in) throws IOException, ParserException
TypeDeclaration from the given reader.parseTypeDeclaration in interface ProgramFactoryparseTypeDeclaration in class JavaProgramFactoryIOExceptionParserExceptionpublic FieldDeclaration parseFieldDeclaration(Reader in) throws IOException, ParserException
FieldDeclaration from the given reader.parseFieldDeclaration in interface ProgramFactoryparseFieldDeclaration in class JavaProgramFactoryIOExceptionParserExceptionpublic MethodDeclaration parseMethodDeclaration(Reader in) throws IOException, ParserException
MethodDeclaration from the given reader.parseMethodDeclaration in interface ProgramFactoryparseMethodDeclaration in class JavaProgramFactoryIOExceptionParserExceptionpublic MemberDeclaration parseMemberDeclaration(Reader in) throws IOException, ParserException
MemberDeclaration from the given reader.parseMemberDeclaration in interface ProgramFactoryparseMemberDeclaration in class JavaProgramFactoryIOExceptionParserExceptionpublic ParameterDeclaration parseParameterDeclaration(Reader in) throws IOException, ParserException
ParameterDeclaration from the given reader.parseParameterDeclaration in interface ProgramFactoryparseParameterDeclaration in class JavaProgramFactoryIOExceptionParserExceptionpublic ConstructorDeclaration parseConstructorDeclaration(Reader in) throws IOException, ParserException
ConstructorDeclaration from the given reader.parseConstructorDeclaration in interface ProgramFactoryparseConstructorDeclaration in class JavaProgramFactoryIOExceptionParserExceptionpublic TypeReference parseTypeReference(Reader in) throws IOException, ParserException
TypeReference from the given reader.parseTypeReference in interface ProgramFactoryparseTypeReference in class JavaProgramFactoryIOExceptionParserExceptionpublic Expression parseExpression(Reader in) throws IOException, ParserException
Expression from the given reader.parseExpression in interface ProgramFactoryparseExpression in class JavaProgramFactoryIOExceptionParserExceptionpublic ASTList<Statement> parseStatements(Reader in) throws IOException, ParserException
Statements from the given reader.parseStatements in interface ProgramFactoryparseStatements in class JavaProgramFactoryIOExceptionParserExceptionpublic StatementBlock parseStatementBlock(Reader in) throws IOException, ParserException
StatementBlock from the given string.parseStatementBlock in interface ProgramFactoryparseStatementBlock in class JavaProgramFactoryIOExceptionParserExceptionpublic void setSVNamespace(Namespace ns)