Package net.ssehub.easy.varModel.persistency

Interface ConstraintSplitWriter.IConstraintFilter

All Known Implementing Classes:
ConstraintSplitWriter.IdentityConstraintFilter
Enclosing class:
ConstraintSplitWriter
public static interface ConstraintSplitWriter.IConstraintFilter
Identifies the constraint where to split at.
Author:
Holger Eichelberger

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    splitAt(IModelElement context, ConstraintSyntaxTree constraint)
    Returns whether the split shall happen at constraint.

  • Method Details

    • splitAt

      boolean splitAt(IModelElement context, ConstraintSyntaxTree constraint)
      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.
      Parameters:
      context - the directly containing / using model element
      constraint - the constraint to check
      Returns:
      true if the split shall happen at constraint, false else