Class DecHelper


  • public final class DecHelper
    extends java.lang.Object
    • Constructor Detail

      • DecHelper

        public DecHelper()
    • Method Detail

      • checkStatementExceptions

        public static boolean checkStatementExceptions​(java.util.List<? extends Statement> lst)
      • isChoiceStatement

        public static boolean isChoiceStatement​(Statement head,
                                                java.util.List<? super Statement> lst)
      • getUniquePredExceptions

        public static java.util.Set<Statement> getUniquePredExceptions​(Statement head)
      • invalidHeadMerge

        public static boolean invalidHeadMerge​(Statement head)
      • copyExprentList

        public static java.util.List<Exprent> copyExprentList​(java.util.List<? extends Exprent> lst)