Serialized Form

Package it.unive.lisa

Class it.unive.lisa.AnalysisException extends java.lang.RuntimeException implements Serializable

serialVersionUID:

2005239836054799858L

Class it.unive.lisa.AnalysisExecutionException extends AnalysisException implements Serializable

serialVersionUID:

3947756263710715139L

Class it.unive.lisa.AnalysisSetupException extends AnalysisException implements Serializable

serialVersionUID:

2005239836054799858L

Package it.unive.lisa.analysis

Class it.unive.lisa.analysis.SemanticException extends java.lang.Exception implements Serializable

serialVersionUID:

7246029205296168336L

Class it.unive.lisa.analysis.SemanticExceptionWrapper extends java.lang.RuntimeException implements Serializable

serialVersionUID:

7246029205296168336L

Package it.unive.lisa.interprocedural

Class it.unive.lisa.interprocedural.InterproceduralAnalysisException extends java.lang.Exception implements Serializable

serialVersionUID:

-284151525683946469L

Class it.unive.lisa.interprocedural.NoEntryPointException extends FixpointException implements Serializable

serialVersionUID:

-7989565407659746161L

Package it.unive.lisa.interprocedural.callgraph

Class it.unive.lisa.interprocedural.callgraph.CallGraphConstructionException extends java.lang.Exception implements Serializable

serialVersionUID:

3751365560725223528L

Class it.unive.lisa.interprocedural.callgraph.CallResolutionException extends java.lang.Exception implements Serializable

serialVersionUID:

-284151525683946469L

Package it.unive.lisa.outputs

Class it.unive.lisa.outputs.OutputDumpingException extends java.lang.RuntimeException implements Serializable

serialVersionUID:

-6224754350892145958L

Package it.unive.lisa.outputs.serializableGraph

Class it.unive.lisa.outputs.serializableGraph.ValueDeserializer extends com.fasterxml.jackson.databind.deser.std.StdDeserializer<SerializableValue> implements Serializable

serialVersionUID:

-5817422267160292909L

Class it.unive.lisa.outputs.serializableGraph.ValueSerializer extends com.fasterxml.jackson.databind.ser.std.StdSerializer<SerializableValue> implements Serializable

serialVersionUID:

2323974954619016107L

Package it.unive.lisa.program

Class it.unive.lisa.program.ProgramValidationException extends java.lang.Exception implements Serializable

serialVersionUID:

-1505555428371757795L

Package it.unive.lisa.util.datastructures.automaton

Class it.unive.lisa.util.datastructures.automaton.CyclicAutomatonException extends java.lang.Exception implements Serializable

serialVersionUID:

-316595813050258650L

Package it.unive.lisa.util.datastructures.graph.algorithms

Class it.unive.lisa.util.datastructures.graph.algorithms.FixpointException extends java.lang.Exception implements Serializable

serialVersionUID:

8975446457619020051L

Package it.unive.lisa.util.numeric

Class it.unive.lisa.util.numeric.InfiniteIterationException extends java.lang.RuntimeException implements Serializable

serialVersionUID:

-8505901233292219893L

Class it.unive.lisa.util.numeric.MathNumberConversionException extends java.lang.Exception implements Serializable

serialVersionUID:

8946152199095876219L