org.eclipse.ocl.examples.codegen.generator

Interface CodeGenerator

All Known Implementing Classes:

AbstractCodeGenerator, JavaCodeGenerator, JUnitCodeGenerator, OCLinEcoreCodeGenerator

public interface CodeGenerator

Method Summary

Modifier and Type	Method and Description
boolean	addConstrainedOperation(Operation constrainedOperation)
void	addProblem(java.lang.Exception e)
AnalysisVisitor	createAnalysisVisitor()
BoxingAnalyzer	createBoxingAnalyzer()
CommonSubexpressionEliminator	createCommonSubexpressionEliminator()
DependencyVisitor	createDependencyVisitor()
FieldingAnalyzer	createFieldingAnalyzer()
ReferencesVisitor	createReferencesVisitor()
CodeGenAnalyzer	getAnalyzer()
BoxedDescriptor	getBoxedDescriptor(ElementId elementId)
java.lang.String	getConstantsClass()
java.lang.String	getDefaultIndent()
EcoreDescriptor	getEcoreDescriptor(ElementId elementId, java.lang.Class<?> instanceClass)
EnvironmentFactoryInternal	getEnvironmentFactory()
GenModelHelper	getGenModelHelper()
GlobalContext	getGlobalContext()
GlobalPlace	getGlobalPlace()
IterationHelper	getIterationHelper(Iteration iteration)
NameManager	getNameManager()
CodeGenOptions	getOptions()
java.util.List<java.lang.Exception>	getProblems()
TypeDescriptor	getTypeDescriptor(CGValuedElement cgElement)
UnboxedDescriptor	getUnboxedDescriptor(ElementId elementId)
Operation	isFinal(Operation anOperation, Class staticType)
java.lang.Boolean	isNonNull(OperationCallExp asOperationCallExp) Return true if asOperationCallExp may return a nonNull value, false if asOperationCallExp may return a null value, null if no determination can be made.
java.lang.Boolean	isNonNull(Property asProperty) Return true if asProperty may provide a nonNull value, false if asOperationCallExp may provide a null value, null if no determination can be made.
boolean	isPrimitive(CGValuedElement cgValue) Return true is this is a built-in primitive type such as boolean or int.
boolean	maybePrimitive(CGValuedElement cgValue) Return true if cgValue could be represented by a primitive value.

Method Detail

addConstrainedOperation

boolean addConstrainedOperation(@NonNull
                                Operation constrainedOperation)

addProblem

void addProblem(@NonNull
                java.lang.Exception e)

createAnalysisVisitor

@NonNull
AnalysisVisitor createAnalysisVisitor()

createBoxingAnalyzer

@NonNull
BoxingAnalyzer createBoxingAnalyzer()

createCommonSubexpressionEliminator

@NonNull
CommonSubexpressionEliminator createCommonSubexpressionEliminator()

createDependencyVisitor

@NonNull
DependencyVisitor createDependencyVisitor()

createFieldingAnalyzer

@NonNull
FieldingAnalyzer createFieldingAnalyzer()

createReferencesVisitor

@NonNull
ReferencesVisitor createReferencesVisitor()

getAnalyzer

@NonNull
CodeGenAnalyzer getAnalyzer()

getBoxedDescriptor

@NonNull
BoxedDescriptor getBoxedDescriptor(@NonNull
                                             ElementId elementId)

getConstantsClass

@Nullable
java.lang.String getConstantsClass()

getDefaultIndent

@NonNull
java.lang.String getDefaultIndent()

getEcoreDescriptor

@NonNull
EcoreDescriptor getEcoreDescriptor(@NonNull
                                             ElementId elementId,
                                             @Nullable
                                             java.lang.Class<?> instanceClass)

getEnvironmentFactory

@NonNull
EnvironmentFactoryInternal getEnvironmentFactory()

getGenModelHelper

@NonNull
GenModelHelper getGenModelHelper()

getGlobalContext

@NonNull
GlobalContext getGlobalContext()

getGlobalPlace

@NonNull
GlobalPlace getGlobalPlace()

getIterationHelper

@Nullable
IterationHelper getIterationHelper(@NonNull
                                              Iteration iteration)

getNameManager

@NonNull
NameManager getNameManager()

getOptions

@NonNull
CodeGenOptions getOptions()

getProblems

@Nullable
java.util.List<java.lang.Exception> getProblems()

getTypeDescriptor

@NonNull
TypeDescriptor getTypeDescriptor(@NonNull
                                           CGValuedElement cgElement)

getUnboxedDescriptor

@NonNull
UnboxedDescriptor getUnboxedDescriptor(@NonNull
                                                 ElementId elementId)

isFinal

@Nullable
Operation isFinal(@NonNull
                             Operation anOperation,
                             Class staticType)

isNonNull

@Nullable
java.lang.Boolean isNonNull(@NonNull
                                       OperationCallExp asOperationCallExp)

Return true if asOperationCallExp may return a nonNull value, false if asOperationCallExp may return a null value, null if no determination can be made.

isNonNull

@Nullable
java.lang.Boolean isNonNull(@NonNull
                                       Property asProperty)

Return true if asProperty may provide a nonNull value, false if asOperationCallExp may provide a null value, null if no determination can be made.

isPrimitive

boolean isPrimitive(@NonNull
                    CGValuedElement cgValue)

Return true is this is a built-in primitive type such as boolean or int. Such types cannot have @NonNull annotations.

maybePrimitive

boolean maybePrimitive(@NonNull
                       CGValuedElement cgValue)

Return true if cgValue could be represented by a primitive value. i.e. if it cannot convey a null or invalid value.