de.interactive_instruments.ShapeChange.TargetHelper
Class XpathConstraintNode.Unique

java.lang.Object
  extended by de.interactive_instruments.ShapeChange.TargetHelper.XpathConstraintNode
      extended by de.interactive_instruments.ShapeChange.TargetHelper.XpathConstraintNode.Unique
Enclosing class:
XpathConstraintNode

public static class XpathConstraintNode.Unique
extends XpathConstraintNode

This class represents the isUnique iterator predicate. Being part of the Logic system Unique can be negated, which is realized by applying an additional not().


Nested Class Summary
 
Nested classes/interfaces inherited from class de.interactive_instruments.ShapeChange.TargetHelper.XpathConstraintNode
XpathConstraintNode.AllInstances, XpathConstraintNode.Arithmetic, XpathConstraintNode.Attribute, XpathConstraintNode.BindingContext, XpathConstraintNode.Cast, XpathConstraintNode.ChangeCase, XpathConstraintNode.Comparison, XpathConstraintNode.Concatenate, XpathConstraintNode.Empty, XpathConstraintNode.Error, XpathConstraintNode.Exists, XpathConstraintNode.IfThenElse, XpathConstraintNode.KindOf, XpathConstraintNode.Literal, XpathConstraintNode.Logic, XpathConstraintNode.Matches, XpathConstraintNode.MessageComment, XpathConstraintNode.Select, XpathConstraintNode.Size, XpathConstraintNode.Substring, XpathConstraintNode.Unique, XpathConstraintNode.Variable, XpathConstraintNode.XpathFragment, XpathConstraintNode.XpathType
 
Field Summary
 
Fields inherited from class de.interactive_instruments.ShapeChange.TargetHelper.XpathConstraintNode
children, negated, parent, xpathHelper
 
Constructor Summary
XpathConstraintNode.Unique(XpathHelper xpathHelper, OclNode.Declaration vardecl, boolean neg)
          Ctor
 
Method Summary
 boolean bindsVariable(OclNode.Declaration vardecl)
          This method determines whether the Unique binds the given variable declaration.
 XpathConstraintNode.XpathFragment translate(XpathConstraintNode.BindingContext ctx)
          This compiles the node and its children to an Xpath expression fragment.
 
Methods inherited from class de.interactive_instruments.ShapeChange.TargetHelper.XpathConstraintNode
addChild, containsError, generatingAttribute, hasIdentity, hasSimpleType, isAndOrLogic, isDependentOn, isMultiple, isVarOrAttribBased
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

XpathConstraintNode.Unique

public XpathConstraintNode.Unique(XpathHelper xpathHelper,
                                  OclNode.Declaration vardecl,
                                  boolean neg)
Ctor

Parameters:
xpathHelper - The schema object
vardecl - OclNode.Declaration object
neg - Negation flag
Method Detail

bindsVariable

public boolean bindsVariable(OclNode.Declaration vardecl)
This method determines whether the Unique binds the given variable declaration.

Overrides:
bindsVariable in class XpathConstraintNode
Parameters:
vardecl - The variable Declaration object
Returns:
Flag indicating the requested property

translate

public XpathConstraintNode.XpathFragment translate(XpathConstraintNode.BindingContext ctx)

This compiles the node and its children to an Xpath expression fragment.

The object is translated in the given context. If negated an additional not() is applied.

Specified by:
translate in class XpathConstraintNode
Parameters:
ctx - BindingContext this node shall be compiled in
Returns:
Object containing the fragment and its operator priority


Copyright © 2015. All rights reserved.