Serialized Form

Package de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar

Class de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar.CannotMatchException extends Exception implements Serializable

Package de.rwth.i2.attestor.grammar.materialization.communication

Class de.rwth.i2.attestor.grammar.materialization.communication.CannotMaterializeException extends Exception implements Serializable

Class de.rwth.i2.attestor.grammar.materialization.communication.UnexpectedNonterminalTypeException extends Exception implements Serializable

Class de.rwth.i2.attestor.grammar.materialization.communication.WrongResponseTypeException extends Exception implements Serializable

Package de.rwth.i2.attestor.main.scene

Class de.rwth.i2.attestor.main.scene.ElementNotPresentException extends Exception implements Serializable

Package de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Class de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.NullPointerDereferenceException extends Throwable implements Serializable

serialVersionUID:

1L

Serialized Fields

violation

Value violation

The value whose evaluation caused a null pointer dereference.

Package de.rwth.i2.attestor.stateSpaceGeneration

Class de.rwth.i2.attestor.stateSpaceGeneration.StateSpaceGenerationAbortedException extends Exception implements Serializable