Class ConstraintSplitWriter.IdentityConstraintFilter

java.lang.Object
net.ssehub.easy.varModel.persistency.ConstraintSplitWriter.IdentityConstraintFilter
All Implemented Interfaces:
ConstraintSplitWriter.IConstraintFilter
Enclosing class:
ConstraintSplitWriter

public static class ConstraintSplitWriter.IdentityConstraintFilter extends Object implements ConstraintSplitWriter.IConstraintFilter
An identity constraint filter.
Author:
Holger Eichelberger
  • Field Details

  • Constructor Details

    • IdentityConstraintFilter

      public IdentityConstraintFilter(ConstraintSyntaxTree constraint)
      Creates a constraint filter which reacts on identity with constraint.
      Parameters:
      constraint - the constraint to check for
  • Method Details

    • splitAt

      public boolean splitAt(IModelElement context, ConstraintSyntaxTree constraint)
      Description copied from interface: ConstraintSplitWriter.IConstraintFilter
      Returns whether the split shall happen at constraint. Please note that the first time this function returns true will cause the split. Further true as return value will be ignored.
      Specified by:
      splitAt in interface ConstraintSplitWriter.IConstraintFilter
      Parameters:
      context - the directly containing / using model element
      constraint - the constraint to check
      Returns:
      true if the split shall happen at constraint, false else