pops.ale.engine
Class SpecValidationEngine

java.lang.Object
  extended by pops.ale.engine.SpecValidationEngine

public class SpecValidationEngine
extends java.lang.Object


Constructor Summary
SpecValidationEngine()
           
 
Method Summary
static boolean validateSpec(ECSpec spec)
          Validates an ECSpec object.
TODO .
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SpecValidationEngine

public SpecValidationEngine()
Method Detail

validateSpec

public static boolean validateSpec(ECSpec spec)
                            throws java.lang.UnsupportedOperationException
Validates an ECSpec object.
TODO .

Parameters:
spec - the ECSpec object to check.
Returns:
true if spec is completely supported and valid, false if spec is completely supported but invalid,
Throws:
java.lang.UnsupportedOperationException - if spec is not completely supported