Class ConditionTypeChecker<T extends ConditionType>


  • @ThreadSafe
    public class ConditionTypeChecker<T extends ConditionType>
    extends Object
    Controller class for the invariants.
    • Field Detail

      • LOGGER

        private static final org.slf4j.Logger LOGGER
      • invariants

        private final com.google.common.collect.ImmutableList<T extends ConditionType> invariants
    • Constructor Detail

      • ConditionTypeChecker

        public ConditionTypeChecker​(com.google.common.collect.ImmutableList<T> invariants)
        Constructor with invariant list.
        Parameters:
        invariants - The invariant list.