Class ExecutableFormatConstraint

    • Constructor Detail

      • ExecutableFormatConstraint

        public ExecutableFormatConstraint()
    • Method Detail

      • isSatisfied

        public boolean isSatisfied​(Program program)
        Description copied from class: Constraint
        Returns true if the given object satisfies this constraint.
        Specified by:
        isSatisfied in class Constraint<Program>
        Returns:
        true if the given object satisfies this constraint.
      • loadConstraintData

        public void loadConstraintData​(ConstraintData data)
        Description copied from class: Constraint
        Initialized this constraint state. Attributes in the xml element with this constaints tag name will be extracted into the ConstraintData object for easy retrieval.
        Specified by:
        loadConstraintData in class Constraint<Program>
        Parameters:
        data - the ConstraintData object used to initialize this constraint.
      • getDescription

        public java.lang.String getDescription()
        Description copied from class: Constraint
        Returns a description of this constraint (with its configuration data) to be used to journal the decision path that was taken.
        Specified by:
        getDescription in class Constraint<Program>
        Returns:
        a description of this constraint with its configuration data.