Module dev.civl.mc

Class CIVLUnimplementedFeatureException

All Implemented Interfaces:
Serializable

public class CIVLUnimplementedFeatureException extends CIVLException
An exception thrown when there is not necessarily anything wrong with the program begin verified, but some CIVL feature has not yet been implemented.
See Also:
  • Constructor Details

    • CIVLUnimplementedFeatureException

      public CIVLUnimplementedFeatureException(String feature, CIVLSource source)
    • CIVLUnimplementedFeatureException

      public CIVLUnimplementedFeatureException(String feature, Sourceable sourceable)
    • CIVLUnimplementedFeatureException

      public CIVLUnimplementedFeatureException(String feature)
    • CIVLUnimplementedFeatureException

      public CIVLUnimplementedFeatureException(String feature, dev.civl.abc.token.IF.Source source)