Class RichFeature.Tools

  • Enclosing interface:
    RichFeature

    public static class RichFeature.Tools
    extends java.lang.Object
    Some useful tools for working with features.
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static RichFeature enrich​(Feature f)
      Takes a normal Feature and attempts to convert it into a RichFeature.
      static RichFeature makeEmptyFeature()
      A way to make a dummy feature
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Method Detail

      • enrich

        public static RichFeature enrich​(Feature f)
                                  throws ChangeVetoException
        Takes a normal Feature and attempts to convert it into a RichFeature.
        Parameters:
        f - the Feature to enrich.
        Returns:
        the RichFeature equivalent.
        Throws:
        ChangeVetoException - if any of the terms from the feature were not convertible.
      • makeEmptyFeature

        public static RichFeature makeEmptyFeature()
        A way to make a dummy feature