Uses of Class
net.ssehub.easy.varModel.model.datatypes.Compound
-
Packages that use Compound Package Description de.uni_hildesheim.sse.translation The mechanisms needed to translate an IVML Ecore model into an IVML object model.de.uni_hildesheim.sse.ui.contentassist net.ssehub.easy.instantiation.core.model.vilTypes.configuration All classes related to the EASy integration of configuration and decisions.net.ssehub.easy.instantiation.velocity This package contains the VIL instantiator realization of Apache's Velocity.
For more information please visit the Velocity project page.net.ssehub.easy.producer.ui.confModel This package holds a GUI representation of the configuration with methods and additional information as needed by the Eclipse UI.net.ssehub.easy.producer.ui.internal This package holds extension classes of eclipse which must not be called or extended from other plug-ins.net.ssehub.easy.producer.ui.productline_editor.configuration This package holds classes for the configuration editor and super classes for similar configuration editors.net.ssehub.easy.reasoning.core.reasoner All classes and interfaces needed to implement a reasoner.
How to write a reasoner: Create an Eclipse Plugin project with Activator (even if "empty"). Addorg.eclipse.equinox.dsto the required plugins andorg.osgi.service.componentto the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.net.ssehub.easy.reasoning.sseReasoner Package contains the EASy-Producer reasoner implementation classes.net.ssehub.easy.reasoning.sseReasoner.functions Package contains custom functions for IVML.net.ssehub.easy.reasoning.sseReasoner.model Package for creating a reasoning model: constraint container, project hierachy evaluator and other.net.ssehub.easy.varModel.confModel This package represents a specific variability model configuration.net.ssehub.easy.varModel.cst Package for elements of the constraint syntax tree.net.ssehub.easy.varModel.cstEvaluation Implements the evaluation of constraint syntax trees.net.ssehub.easy.varModel.model Base package for the variability model.net.ssehub.easy.varModel.model.datatypes Base directory for the main datatype classes.net.ssehub.easy.varModel.model.filter This package contains utility classes for filtering the model for specific model elements.net.ssehub.easy.varModel.model.filter.mandatoryVars Filter for finding mandatory declarations.net.ssehub.easy.varModel.model.rewrite Classes for creating an (adapted) copy of theProject.net.ssehub.easy.varModel.model.search Specific classes for performing search operations on models.net.ssehub.easy.varModel.model.values Instances of the datatypes.net.ssehub.easy.varModel.persistency These package is for reading and saving the variability model and the configuration.
Currently supported file formats: EASy-Producer 2.0 config files (xml) IVMLnet.ssehub.easy.varModel.validation Classes for validating e variability model, e.g. -
-
Uses of Compound in de.uni_hildesheim.sse.translation
Fields in de.uni_hildesheim.sse.translation with type parameters of type Compound Modifier and Type Field Description private java.util.Map<de.uni_hildesheim.sse.ivml.TypedefCompound,Compound>ModelTranslator. compoundMappingprivate java.util.Map<Compound,Self>TypeContext. selfPoolprivate java.util.Map<java.lang.String,java.util.List<Compound>>TypeContext. unresolvedCompoundRefinementsMethods in de.uni_hildesheim.sse.translation that return Compound Modifier and Type Method Description Compound[]TypeContext. findCompounds(java.util.List<java.lang.String> names, boolean nullOnFail)Finds compounds according to the givennames.Methods in de.uni_hildesheim.sse.translation that return types with arguments of type Compound Modifier and Type Method Description (package private) java.util.List<Compound>TypeContext. getUnresolvedCompoundRefinments(java.lang.String parentCompound)Returns a list of compounds where the given compound was specified as a super/parent compound, but could not be set, as it was not available during parsing the child compound.Methods in de.uni_hildesheim.sse.translation with parameters of type Compound Modifier and Type Method Description voidTypeContext. addToContext(Compound comp)Adds a compound to the current context (layer).(package private) voidTypeContext. addToContext(Compound compound, java.lang.String unresolvedParentCompound)Stores a refined compound where the parent/super compound could not be loaded at the current time.private voidTypeContext. addToContext(Compound comp, java.util.Set<Compound> done)Adds a compound to the current context (layer).private voidModelTranslator. checkCompound(de.uni_hildesheim.sse.ivml.Project eProject, Compound cmp, java.util.Map<Compound,de.uni_hildesheim.sse.ivml.TypedefCompound> cmpMapping, java.util.Map<java.lang.String,DecisionVariableDeclaration> done)Checks the given compound.private voidExpressionTranslator. checkForCompoundElement(Compound comp, java.lang.String name, de.uni_hildesheim.sse.ivml.ActualArgumentList call)Checks for an existing compound elementnameincompand throws an exception if that element does not exist.private SelfTypeContext. getSelf(Compound comp)Returns a self instance from the self pool.private booleanExpressionTranslator. hasSlot(Compound comp, java.lang.String name)Returns whether the given compoundcompor its refined compounds contains a slot of namename.protected voidModelTranslator. processEval(de.uni_hildesheim.sse.ivml.Eval eval, TypeContext context, Compound compound)Processes an evaluation block.Method parameters in de.uni_hildesheim.sse.translation with type arguments of type Compound Modifier and Type Method Description private voidTypeContext. addToContext(Compound comp, java.util.Set<Compound> done)Adds a compound to the current context (layer).private voidModelTranslator. checkCompound(de.uni_hildesheim.sse.ivml.Project eProject, Compound cmp, java.util.Map<Compound,de.uni_hildesheim.sse.ivml.TypedefCompound> cmpMapping, java.util.Map<java.lang.String,DecisionVariableDeclaration> done)Checks the given compound. -
Uses of Compound in de.uni_hildesheim.sse.ui.contentassist
Methods in de.uni_hildesheim.sse.ui.contentassist with parameters of type Compound Modifier and Type Method Description protected voidExpressionProposalProvider. propose(Compound type, org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor, int priority, java.util.Set<java.lang.String> done)Propose declared variables on a compoundtype. -
Uses of Compound in net.ssehub.easy.instantiation.core.model.vilTypes.configuration
Methods in net.ssehub.easy.instantiation.core.model.vilTypes.configuration with parameters of type Compound Modifier and Type Method Description voidVariableCollector. visitCompound(Compound compound) -
Uses of Compound in net.ssehub.easy.instantiation.velocity
Methods in net.ssehub.easy.instantiation.velocity with parameters of type Compound Modifier and Type Method Description voidVelocityContextInitializer. visitCompoundType(Compound compound) -
Uses of Compound in net.ssehub.easy.producer.ui.confModel
Methods in net.ssehub.easy.producer.ui.confModel with parameters of type Compound Modifier and Type Method Description voidErrorSetter. visitCompound(Compound compound)voidConfigEditorValueRetriever. visitCompoundType(Compound compound)voidGUIValueFactory.VariableVisitor. visitCompoundType(Compound compound)voidTooltipCreator. visitCompoundType(Compound compound) -
Uses of Compound in net.ssehub.easy.producer.ui.internal
Methods in net.ssehub.easy.producer.ui.internal that return Compound Modifier and Type Method Description static CompoundTypeSelectionDialog. selectCompoundType(org.eclipse.swt.widgets.Shell shell, java.lang.String title, IResolutionScope scope, Compound type)Allows the user to select a compound type from all refining types fromtype.static CompoundTypeSelectionDialog. selectCompoundType(org.eclipse.swt.widgets.Shell shell, java.lang.String title, IResolutionScope scope, Compound type, Compound current)Allows the user to select a compound type from all refining types fromtype.Methods in net.ssehub.easy.producer.ui.internal with parameters of type Compound Modifier and Type Method Description static CompoundTypeSelectionDialog. selectCompoundType(org.eclipse.swt.widgets.Shell shell, java.lang.String title, IResolutionScope scope, Compound type)Allows the user to select a compound type from all refining types fromtype.static CompoundTypeSelectionDialog. selectCompoundType(org.eclipse.swt.widgets.Shell shell, java.lang.String title, IResolutionScope scope, Compound type, Compound current)Allows the user to select a compound type from all refining types fromtype. -
Uses of Compound in net.ssehub.easy.producer.ui.productline_editor.configuration
Methods in net.ssehub.easy.producer.ui.productline_editor.configuration with parameters of type Compound Modifier and Type Method Description private voidEditorContextMenuListener. copyValues(Compound type, CompoundValue orig, java.util.List<java.lang.Object> target, java.util.Set<java.lang.Object> done)Copies values to achieve an instance oftypebased on values fromorig. -
Uses of Compound in net.ssehub.easy.reasoning.core.reasoner
Methods in net.ssehub.easy.reasoning.core.reasoner with parameters of type Compound Modifier and Type Method Description voidAttributeValues.ResolutionVisitor. visitCompound(Compound compound) -
Uses of Compound in net.ssehub.easy.reasoning.sseReasoner
Methods in net.ssehub.easy.reasoning.sseReasoner with parameters of type Compound Modifier and Type Method Description private voidResolver. processCompoundEvals(Compound cmpType, ConstraintSyntaxTree selfEx, AbstractVariable self, IDecisionVariable variable)Method for extracting constraints from compounds eval blocks (also refined compounds).private voidResolver. registerCompoundMapping(Compound type, ConstraintSyntaxTree cAcc, Variable declVar)Registers the mapping for a compound type.private voidResolver. registerCompoundSlotMapping(Compound type, ConstraintSyntaxTree cAcc, Variable declVar)Registers the slot mappings for compound slots oftype.private voidResolver. translateCompoundContainer(AbstractVariable decl, Compound type, IDatatype declaredContainedType, ConstraintSyntaxTree cAcc)Translates an entire compound containerdeclincluding defaults and constraints for the specific typecmpType(iterate through all relevant types).private voidResolver. translateCompoundContent(AbstractVariable decl, IDecisionVariable variable, Compound type, ConstraintSyntaxTree cAcc)Translates the compound content.private intResolver. translateCompoundDeclaration(AbstractVariable decl, IDecisionVariable variable, ConstraintSyntaxTree cAcc, Compound type, int mode)Translates translating compound type declarations, but only if notContextStack.alreadyProcessed(IDatatype)in nested collection/compound types.Method parameters in net.ssehub.easy.reasoning.sseReasoner with type arguments of type Compound Modifier and Type Method Description (package private) java.util.List<Constraint>Resolver. cleanupConstraints(IDecisionVariable variable, boolean clear, java.util.Set<Compound> deleteFilter)Obtains and if specified clears old constraints in the internal reasoner data structures. -
Uses of Compound in net.ssehub.easy.reasoning.sseReasoner.functions
Methods in net.ssehub.easy.reasoning.sseReasoner.functions with parameters of type Compound Modifier and Type Method Description static voidConstraintFunctions. allCompoundConstraints(Compound cmpType, AbstractConstraintProcessor processor, boolean includeConstraintVariables, boolean includeDefaults, IModelElement parent)Processes all constraints relevant to the givenCompound.private static CompoundInitializerDefaultValueTranslator. createTranslatedCompoundInitializer(Compound type, java.util.Map<java.lang.String,ConstraintSyntaxTree> values, java.util.Map<java.lang.String,AbstractVariable> decls)Creates a translated compound initializer.private static voidDefaultValueTranslator. translateDefaultValues(Compound type, java.util.Map<java.lang.String,ConstraintSyntaxTree> values, java.util.Map<java.lang.String,AbstractVariable> decls)Recursively translates the default values of type intovaluesanddecls, but only if the slots are not already allocated.voidConstraintFunctions.TransitiveConstraintFinder. visitCompoundType(Compound compound) -
Uses of Compound in net.ssehub.easy.reasoning.sseReasoner.model
Fields in net.ssehub.easy.reasoning.sseReasoner.model with type parameters of type Compound Modifier and Type Field Description static Pool<java.util.Set<Compound>>ReasoningUtils. SET_COMPOUND_POOLA set pool for instances ofSet.Methods in net.ssehub.easy.reasoning.sseReasoner.model that return types with arguments of type Compound Modifier and Type Method Description static java.util.Set<Compound>ReasoningUtils. collectRefines(IDatatype start, IDatatype exclude)Collects all refines fromstartexcluding all originating atexclude.Methods in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type Compound Modifier and Type Method Description static voidReasoningUtils. addRefines(Compound cmp, java.util.Set<Compound> result)Adds all refines ofcmptoresult.private static voidReasoningUtils. collectRefines(Compound cmp, IDatatype exclude, boolean add, java.util.Set<Compound> result)Collects all refines fromcmpexcluding all originating atexclude, adding or removing following compounds based onaddstoring the results inresult.static intReasoningUtils. countSlots(Compound cmp, java.lang.String name, boolean stopGreater1)Counts the number of slots with givennamein the refines hierarchy ofcmp.private static voidReasoningUtils. purgeRefines(Compound comp, java.util.Set<Compound> result)Purges all refined compounds ofcompfromresult.voidContextStack. recordAnnotationAssignments(Compound type)Records annotation assignments for the given compoundtypefor this context.private voidContextStack. recordProcessed(java.util.Set<IDatatype> processed, Compound type)Records a processed compound.Method parameters in net.ssehub.easy.reasoning.sseReasoner.model with type arguments of type Compound Modifier and Type Method Description static voidReasoningUtils. addRefines(Compound cmp, java.util.Set<Compound> result)Adds all refines ofcmptoresult.private static voidReasoningUtils. collectRefines(Compound cmp, IDatatype exclude, boolean add, java.util.Set<Compound> result)Collects all refines fromcmpexcluding all originating atexclude, adding or removing following compounds based onaddstoring the results inresult.static booleanReasoningUtils. getUsedCompoundTypes(Value val, java.util.Set<Compound> result)Returns the used types ifvalueis a container value.static voidReasoningUtils. purgeRefines(java.util.Set<Compound> compounds, java.util.Set<Compound> result)Purges all refined compounds mentioned incompounds.private static voidReasoningUtils. purgeRefines(Compound comp, java.util.Set<Compound> result)Purges all refined compounds ofcompfromresult. -
Uses of Compound in net.ssehub.easy.varModel.confModel
Fields in net.ssehub.easy.varModel.confModel declared as Compound Modifier and Type Field Description private CompoundCompoundVariable. instantiatableTypeMethods in net.ssehub.easy.varModel.confModel with parameters of type Compound Modifier and Type Method Description private voidDefaultValueHelper. assignCompoundValue(Compound compound)Assigns the default value to a compound.private voidCompoundVariable. resolveAssignBlocks(Compound cType)Recursive part of the constructor to resolve annotation assignment blocks of (parent/this) compound.voidAssignmentResolver.AssignBlockVisitor. visitCompound(Compound compound)voidVariableCreator. visitCompoundType(Compound compound)private voidAbstractConfigurationStatisticsVisitor. visitRefines(Compound cmp)Visits all refined compounds and collects statistics. -
Uses of Compound in net.ssehub.easy.varModel.cst
Fields in net.ssehub.easy.varModel.cst declared as Compound Modifier and Type Field Description private CompoundCompoundInitializer. typeprivate CompoundSelf. typeMethods in net.ssehub.easy.varModel.cst that return Compound Modifier and Type Method Description CompoundCompoundInitializer. getType()Returns the type of the container.Methods in net.ssehub.easy.varModel.cst with parameters of type Compound Modifier and Type Method Description private DecisionVariableDeclarationCompoundAccess. searchSlot(Compound comp, java.lang.String slotName)Searches for a slot incompor its refined compounds.Constructors in net.ssehub.easy.varModel.cst with parameters of type Compound Constructor Description CompoundInitializer(Compound type, java.lang.String[] slots, AbstractVariable[] slotDecls, ConstraintSyntaxTree[] expressions)Creates a new compound initializer.Self(Compound type)Creates a self constant fortype. -
Uses of Compound in net.ssehub.easy.varModel.cstEvaluation
Fields in net.ssehub.easy.varModel.cstEvaluation declared as Compound Modifier and Type Field Description private CompoundVariableValueCopier.CopySpec. typeMethods in net.ssehub.easy.varModel.cstEvaluation that return Compound Modifier and Type Method Description (package private) static CompoundEvaluationUtils. getDeclaringCompound(AbstractVariable decl)Returns the declaring compound type.CompoundVariableValueCopier.CopySpec. getType()Returns the source type.Methods in net.ssehub.easy.varModel.cstEvaluation with parameters of type Compound Modifier and Type Method Description private static intEvaluationUtils. diff(Compound type, IDatatype opType)Calculates the difference between the compoundtypeand its refinement hierarcy andopType.Constructors in net.ssehub.easy.varModel.cstEvaluation with parameters of type Compound Constructor Description CopySpec(Compound type, java.lang.String sourceVariableName, java.lang.String... targetVariableNames)Creates a copy specification.CopySpec(Compound type, java.lang.String sourceVariableName, VariableValueCopier.IFreezeProvider freezeProvider, java.lang.String... targetVariableNames)Creates a copy specification. -
Uses of Compound in net.ssehub.easy.varModel.model
Methods in net.ssehub.easy.varModel.model that return types with arguments of type Compound Modifier and Type Method Description static java.util.List<Compound>ModelQuery. findRefining(IResolutionScope scope, Compound compound)Returns all (reachable) compounds (transitively) refining the givencompoundstarting atscopealso considering imported scopes.Methods in net.ssehub.easy.varModel.model with parameters of type Compound Modifier and Type Method Description static java.util.List<Compound>ModelQuery. findRefining(IResolutionScope scope, Compound compound)Returns all (reachable) compounds (transitively) refining the givencompoundstarting atscopealso considering imported scopes.private static voidModelQuery. findRefining(IResolutionScope scope, Compound compound, java.util.List<Compound> result, java.util.Set<IResolutionScope> done)Returns all (reachable) compounds (transitively) refining the givencompoundstarting atscopealso considering imported scopes.private static AbstractVariableModelQuery. findVariable(Compound compound, java.lang.String name)Searches for a variable ofnamein a givencompound.voidAbstractVisitor. visitCompound(Compound compound)voidModelVisitorAdapter. visitCompound(Compound compound)Method parameters in net.ssehub.easy.varModel.model with type arguments of type Compound Modifier and Type Method Description private static voidModelQuery. findRefining(IResolutionScope scope, Compound compound, java.util.List<Compound> result, java.util.Set<IResolutionScope> done)Returns all (reachable) compounds (transitively) refining the givencompoundstarting atscopealso considering imported scopes. -
Uses of Compound in net.ssehub.easy.varModel.model.datatypes
Fields in net.ssehub.easy.varModel.model.datatypes declared as Compound Modifier and Type Field Description private Compound[]Compound. refinesMethods in net.ssehub.easy.varModel.model.datatypes that return Compound Modifier and Type Method Description CompoundCompound. getRefines(int index)Returns the compound which is refined by this compound.Methods in net.ssehub.easy.varModel.model.datatypes that return types with arguments of type Compound Modifier and Type Method Description java.util.Collection<Compound>Compound. allImplementing(IResolutionScope scope)Finds all implementing compound types for this compound searching withinscopeand transitive imports.java.util.Collection<Compound>Compound. closestRefining(java.util.Collection<Compound> compounds)Returns the compounds fromcompoundsthat have minimumrefines distanceto this.java.util.Collection<Compound>Compound. implementingNonAbstract(IResolutionScope scope)Finds the implementing non-abstract types for this compound, i.e., the ones that may instantiate this compound.private static java.util.Collection<Compound>Compound. prune(java.util.Collection<Compound> compounds, boolean pruneAbstract)Prunes fromcompounds.static java.util.Collection<Compound>Compound. pruneAbstract(java.util.Collection<Compound> compounds)Prunes abstract compounds fromcompounds.static java.util.Collection<Compound>Compound. pruneNonAbstract(java.util.Collection<Compound> compounds)Prunes non-abstract compounds fromcompounds.Methods in net.ssehub.easy.varModel.model.datatypes with parameters of type Compound Modifier and Type Method Description private intCompound. findRefinesDistanceTo(int res, Compound cmp)Iterates overgetRefines(int)to identify the refines distance from this tocmpusingresas initial result.intCompound. getRefinesDistanceTo(Compound cmp)Determines the (absolute) refinement distance from this tocmpconsidering this orcmpas alternative bases to search the hierarchy for.private intCompound. getRefinesDistanceTo(Compound cmp, boolean checkOpposite)Determines the (absolute) refinement distance from this tocmpoptionally considering this orcmpas alternative bases to search the hierarchy for.booleanCompound. isRefinedFrom(Compound cmp, boolean transitive)Whether this compound is directly or indirectly refined fromcmp.voidCompound. setRefines(Compound[] refines)Setter for the parent/ super compound of a refinement.voidICustomDatatypeVisitor. visitCompound(Compound compound)Method for visiting a compound.voidBaseTypeVisitor. visitCompoundType(Compound compound)voidDatatypeVisitor. visitCompoundType(Compound compound)voidIDatatypeVisitor. visitCompoundType(Compound compound)Visiting method for visiting aCompound.Method parameters in net.ssehub.easy.varModel.model.datatypes with type arguments of type Compound Modifier and Type Method Description java.util.Collection<Compound>Compound. closestRefining(java.util.Collection<Compound> compounds)Returns the compounds fromcompoundsthat have minimumrefines distanceto this.private static java.util.Collection<Compound>Compound. prune(java.util.Collection<Compound> compounds, boolean pruneAbstract)Prunes fromcompounds.static java.util.Collection<Compound>Compound. pruneAbstract(java.util.Collection<Compound> compounds)Prunes abstract compounds fromcompounds.static java.util.Collection<Compound>Compound. pruneNonAbstract(java.util.Collection<Compound> compounds)Prunes non-abstract compounds fromcompounds.Constructors in net.ssehub.easy.varModel.model.datatypes with parameters of type Compound Constructor Description Compound(java.lang.String name, ModelElement parent, boolean isAbstract, Compound refines)Constructor for a (potentially abstract, refined) compound.Compound(java.lang.String name, ModelElement parent, boolean isAbstract, Compound... refines)Constructor for a (potentially abstract, refined) compound.Compound(java.lang.String name, ModelElement parent, Compound refines)Constructor for a non-abstract (potentially refined) compound.Compound(java.lang.String name, ModelElement parent, Compound... refines)Constructor for a non-abstract (potentially refined) compound. -
Uses of Compound in net.ssehub.easy.varModel.model.filter
Methods in net.ssehub.easy.varModel.model.filter with parameters of type Compound Modifier and Type Method Description voidAbstractDeclarationFinder. visitCompound(Compound compound)voidAbstractFrozenElementsFinder. visitCompound(Compound compound)voidAnnotationAssignmentFinder. visitCompound(Compound compound)voidConstraintFinder. visitCompound(Compound compound)voidDatatypeFinder. visitCompound(Compound compound)voidDeclarationFinder. visitCompound(Compound compound)voidDeclarationInContainerFinder. visitCompound(Compound compound)voidEvalBlockFinder. visitCompound(Compound compound)voidModelElementTypeFinder. visitCompound(Compound compound)voidNamespaceFinder. visitCompound(Compound compound)voidProjectInterfaceFinder. visitCompound(Compound compound) -
Uses of Compound in net.ssehub.easy.varModel.model.filter.mandatoryVars
Methods in net.ssehub.easy.varModel.model.filter.mandatoryVars with parameters of type Compound Modifier and Type Method Description voidMandatoryDeclarationClassifier. visitCompound(Compound compound) -
Uses of Compound in net.ssehub.easy.varModel.model.rewrite
Methods in net.ssehub.easy.varModel.model.rewrite with parameters of type Compound Modifier and Type Method Description voidDeletedElementsCollector. visitCompound(Compound compound)voidInitialStructureCollector. visitCompound(Compound compound)voidProjectCopyVisitor. visitCompound(Compound compound)voidProjectRewriteVisitor. visitCompound(Compound compound) -
Uses of Compound in net.ssehub.easy.varModel.model.search
Methods in net.ssehub.easy.varModel.model.search with parameters of type Compound Modifier and Type Method Description voidPrefixSearchVisitor. visitCompound(Compound compound) -
Uses of Compound in net.ssehub.easy.varModel.model.values
Methods in net.ssehub.easy.varModel.model.values with parameters of type Compound Modifier and Type Method Description private booleanCompoundValue. equals(Compound type, CompoundValue otherValue, boolean ignoreUndefinedInObject)Checks for equality potentially ignoring undefined values in the giventype.private intCompoundValue. hashCode(Compound type)Returns the hashCode for a compound type.Constructors in net.ssehub.easy.varModel.model.values with parameters of type Compound Constructor Description CompoundValue(Compound compound)Constructor for a new CompoundValue.CompoundValue(Compound compound, java.lang.Object... value)Constructor for a new CompoundValue.CompoundValue(Compound compound, CompoundValue source)Creates a new compound value by copying the values fromsource. -
Uses of Compound in net.ssehub.easy.varModel.persistency
Methods in net.ssehub.easy.varModel.persistency with parameters of type Compound Modifier and Type Method Description protected abstract voidAbstractVarModelWriter. endWritingCompound(Compound compound)Method for writing a compound, second part.protected voidIVMLWriter. endWritingCompound(Compound compound)protected abstract voidAbstractVarModelWriter. startWritingCompound(Compound compound)Method for writing a compound, first part.protected voidIVMLWriter. startWritingCompound(Compound compound)voidAbstractVarModelWriter. visitCompound(Compound compound)voidIVMLWriter. visitCompound(Compound compound)voidVariableUsage. visitCompound(Compound compound)private intIVMLWriter. visitCompoundRefines(Compound comp, CompoundValue value, int count, java.util.Set<java.lang.String> done) -
Uses of Compound in net.ssehub.easy.varModel.validation
Methods in net.ssehub.easy.varModel.validation with parameters of type Compound Modifier and Type Method Description voidIvmlValidationVisitor. visitCompound(Compound compound)
-