public static class SchematronConstraintNode.AllInstances extends SchematronConstraintNode
This class represents the OCL operation allInstances(). AllInstances is based on a class literal and represents all instances of that class.
SchematronConstraintNode.AllInstances, SchematronConstraintNode.Arithmetic, SchematronConstraintNode.Attribute, SchematronConstraintNode.BindingContext, SchematronConstraintNode.Cast, SchematronConstraintNode.ChangeCase, SchematronConstraintNode.Comparison, SchematronConstraintNode.Concatenate, SchematronConstraintNode.Empty, SchematronConstraintNode.Error, SchematronConstraintNode.Exists, SchematronConstraintNode.IfThenElse, SchematronConstraintNode.KindOf, SchematronConstraintNode.Let, SchematronConstraintNode.Literal, SchematronConstraintNode.Logic, SchematronConstraintNode.Matches, SchematronConstraintNode.MessageComment, SchematronConstraintNode.Select, SchematronConstraintNode.Size, SchematronConstraintNode.Substring, SchematronConstraintNode.Unique, SchematronConstraintNode.Variable, SchematronConstraintNode.XpathFragment, SchematronConstraintNode.XpathType
Modifier and Type | Field and Description |
---|---|
protected ClassInfo |
objectClass |
children, negated, parent, schemaObject
Constructor and Description |
---|
AllInstances(SchematronSchema schemaObject,
ClassInfo ci,
boolean negated)
Ctor
|
Modifier and Type | Method and Description |
---|---|
boolean |
hasIdentity()
This predicate finds out whether the allInstances results in a
collection of instances, which conceptually have identity.
|
boolean |
hasSimpleType()
allInstances() is never simple.
|
boolean |
isMultiple()
Allinstances always produces a set.
|
SchematronConstraintNode.XpathFragment |
translate(SchematronConstraintNode.BindingContext ctx)
allInstances() is translated to a search for the given type.
|
addChild, containsError, generatingAttribute, isAndOrLogic, isDependentOn, isVarOrAttribBased, nodeVariableIsBoundTo
protected ClassInfo objectClass
public AllInstances(SchematronSchema schemaObject, ClassInfo ci, boolean negated)
schemaObject
- The schema objectci
- ClassInfo of the class to enumeratenegated
- May be negated if of type booleanpublic boolean isMultiple()
Allinstances always produces a set.
isMultiple
in class SchematronConstraintNode
public boolean hasSimpleType()
allInstances() is never simple.
hasSimpleType
in class SchematronConstraintNode
public boolean hasIdentity()
This predicate finds out whether the allInstances results in a collection of instances, which conceptually have identity.
hasIdentity
in class SchematronConstraintNode
public SchematronConstraintNode.XpathFragment translate(SchematronConstraintNode.BindingContext ctx)
allInstances() is translated to a search for the given type. The result is a nodeset containing all the given features.
In compiling x.allInstances() we create a nodeset union (n1|...|ni), where nk=//Tk[@gml:id] and Tk is one of the concrete derivations of the type x, including x.
translate
in class SchematronConstraintNode
ctx
- BindingContext this node shall be compiled inCopyright © 2018. All rights reserved.