Skip to content
Snippets Groups Projects
Select Git revision
  • autonomic_genetic
  • develop protected
  • eris-coupling
  • ai
  • k-means
  • master default protected
  • incremental-jastadd
  • jamal-thesis-benchmark
  • genetic
  • genetic-jamal
  • ttc_ilp
  • single-assignment
12 results

Enums.jadd

Blame
  • Enums.jadd 540 B
    aspect Enums {
    	public enum PropertyAggregation {
    		SUM,
    		MAX
    	}
    
    	public enum ClauseType {
        REQUIRING,
        PROVIDING
    	}
    
    	public enum ClauseComparator {
        LT { public String symbol() { return "<";  } },
        LE { public String symbol() { return "<="; } },
        EQ { public String symbol() { return "=";  } },
        NE { public String symbol() { return "!="; } },
        GE { public String symbol() { return ">="; } },
        GT { public String symbol() { return ">";  } };
    
        public String symbol() { throw new AbstractMethodError(); }
    	}
    }