org.topbraid.spin.constraints
Class ConstraintViolation

java.lang.Object
  extended by org.topbraid.spin.constraints.ConstraintViolation

public class ConstraintViolation
extends java.lang.Object

An object representing a failure of a SPIN constraint.

Author:
Holger Knublauch

Constructor Summary
ConstraintViolation(Resource root, java.util.Collection<SimplePropertyPath> paths, java.lang.String message)
           
 
Method Summary
 java.lang.String getMessage()
           
 java.util.Collection<SimplePropertyPath> getPaths()
           
 Resource getRoot()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConstraintViolation

public ConstraintViolation(Resource root,
                           java.util.Collection<SimplePropertyPath> paths,
                           java.lang.String message)
Method Detail

getMessage

public java.lang.String getMessage()

getPaths

public java.util.Collection<SimplePropertyPath> getPaths()

getRoot

public Resource getRoot()