Type Members

1.  case class CallReceiverError(node: Node, dispatchType: String) extends ValidationError with Product with Serializable
2.  case class CallReceiverErrorCategory() extends ValidationErrorCategory with Product with Serializable
3.  case class CfgEdgeError(srcNode: Node, dstNode: Node, srcNodeMethod: Node, dstNodeMethod: Node) extends ValidationError with Product with Serializable
4.  case class CfgEdgeErrorCategory() extends ValidationErrorCategory with Product with Serializable
5.  case class EdgeDegreeError(node: Node, edgeType: String, direction: Direction, invalidEdgeDegree: Int, expectedDegreeRange: Inclusive, otherSideNodeTypes: List[String]) extends ValidationError with Product with Serializable
6.  case class EdgeDegreeErrorCategory(nodeLabel: String, edgeType: String, direction: Direction, otherSideNodeTypes: List[String]) extends ValidationErrorCategory with Product with Serializable
7.  case class EdgeTypeError(node: Node, direction: Direction, invalidEdges: List[Edge]) extends ValidationError with Product with Serializable
8.  case class EdgeTypeErrorCategory(nodeLabel: String, direction: Direction, invalidEdgeTypes: List[String]) extends ValidationErrorCategory with Product with Serializable
9.  case class KeyError(node: Node, nodeKeyType: String, cardinality: Cardinality) extends ValidationError with Product with Serializable
10.  case class KeyErrorCategory(nodeLabel: String, nodeKeyType: String, cardinality: Cardinality) extends ValidationErrorCategory with Product with Serializable
11.  case class NodeTypeError(node: Node, edgeType: String, direction: Direction, invalidOtherSideNodes: List[Node]) extends ValidationError with Product with Serializable
12.  case class NodeTypeErrorCategory(nodeLabel: String, edgeType: String, direction: Direction) extends ValidationErrorCategory with Product with Serializable
13.  sealed trait ValidationError extends AnyRef
14.  sealed trait ValidationErrorCategory extends AnyRef
15.  class ValidationErrorRegistry extends AnyRef