Class ConfigurableIVMLWriter
java.lang.Object
net.ssehub.easy.varModel.model.AbstractVisitor
net.ssehub.easy.varModel.persistency.AbstractVarModelWriter
net.ssehub.easy.varModel.persistency.IVMLWriter
net.ssehub.easy.varModel.persistency.ConfigurableIVMLWriter
- All Implemented Interfaces:
IConstraintTreeVisitor,ICustomDatatypeVisitor,IModelVisitor,IValueVisitor
An IVML writer which may or not emit imports.
- Author:
- Holger Eichelberger
-
Nested Class Summary
Nested classes/interfaces inherited from class net.ssehub.easy.varModel.persistency.IVMLWriter
IVMLWriter.EmitFilterNested classes/interfaces inherited from class net.ssehub.easy.varModel.persistency.AbstractVarModelWriter
AbstractVarModelWriter.DefaultSpace -
Field Summary
FieldsFields inherited from class net.ssehub.easy.varModel.persistency.AbstractVarModelWriter
DUMMY_PARENT -
Constructor Summary
ConstructorsConstructorDescriptionConfigurableIVMLWriter(Writer writer, boolean emitComments, boolean emitImports) Creates a writer instance. -
Method Summary
Modifier and TypeMethodDescriptionvoidvisitProject(Project project) Method for visiting a project.voidvisitProjectImport(ProjectImport pImport) This method is used for visiting a ProjectImport.Methods inherited from class net.ssehub.easy.varModel.persistency.IVMLWriter
appendOCLFeatureCall, beforeNestedElement, emitComments, emitDecisionVariableDeclarationDefault, endWritingCompound, endWritingProject, forceComponundTypes, getInstance, printDefaultSpace, processVersion, releaseInstance, setEmitFilter, setEmitProjectFreezeDot, setFormatInitializer, startWritingCompound, startWritingProject, visitAnnotationVariable, visitAttribute, visitAttributeAssignment, visitBlockExpression, visitBooleanValue, visitComment, visitComment, visitCompound, visitCompoundAccess, visitCompoundAccessStatement, visitCompoundInitializer, visitCompoundValue, visitConstraint, visitContainerInitializer, visitContainerOperationCall, visitContainerValue, visitDecisionVariableDeclaration, visitDeferInitExpression, visitDerivedDatatype, visitEnum, visitEnumLiteral, visitEnumValue, visitFreezeBlock, visitIfThen, visitIntValue, visitLet, visitMetaTypeValue, visitMultiAndExpression, visitNullValue, visitOclFeatureCall, visitOperationDefinition, visitParenthesis, visitPartialEvaluationBlock, visitProjectInterface, visitRealValue, visitReference, visitReferenceValue, visitSelf, visitSequence, visitSet, visitStringValue, visitVariable, visitVersionValue, writeValueMethods inherited from class net.ssehub.easy.varModel.persistency.AbstractVarModelWriter
addParent, appendIndentation, appendOutput, appendOutput, considerOclCompliance, decreaseAdditionalIndentation, emitConstraintExpression, flush, getExpressionContext, getIndentation, getIvmlIndentStep, getLogger, getParent, getParent, getParent, getParentCount, getUseIvmlWhitespace, getWriter, increaseAdditionalIndentation, removeLastParent, setExpressionContext, setIndentationStep, setIndentStep, setOclCompliance, setUseIvmlWhitespace, setUseWhitespaces, setWriter, visitConstantValue, visitConstraintValue, visitOrderedEnum, visitUnresolvedExpression
-
Field Details
-
imports
-
projectNestingLevel
private int projectNestingLevel
-
-
Constructor Details
-
ConfigurableIVMLWriter
Creates a writer instance. Due to the pooling mechanism, disabling comments can only be done by a non-pooled subclass.- Parameters:
writer- the writer which should be used for writing the outputemitComments- whether comments shall be emitted or ignoredemitImports- whether imports shall be emitted or ignored
-
-
Method Details
-
visitProjectImport
Description copied from interface:IModelVisitorThis method is used for visiting a ProjectImport.- Specified by:
visitProjectImportin interfaceIModelVisitor- Overrides:
visitProjectImportin classIVMLWriter- Parameters:
pImport- One ProjectImport which should be visited.
-
visitProject
Description copied from interface:IModelVisitorMethod for visiting a project.- Specified by:
visitProjectin interfaceIModelVisitor- Overrides:
visitProjectin classIVMLWriter- Parameters:
project- The project which should be visited.
-