de.rwth.i2.attestor.main.scene

Class SceneObject

java.lang.Object

de.rwth.i2.attestor.main.scene.SceneObject

Direct Known Subclasses:

AbstractPhase, BalancednessAutomaton, BalancednessStateRefinementStrategy, DefaultAbstractSemantics, DefaultScopeExtractor, InductivePredicatesParser, InternalProcedureCall, InvokeHelper, JimpleParser, JsonToGrammar, JsonToHeapConfiguration, LanguageInclusionAutomaton, ListLengthAutomaton, NeighbourhoodAutomaton, PointsToHeapAutomaton, ReachabilityHeapAutomaton, StandardAbstractSemantics, Statement, StateSpaceGeneratorFactory, SymbolicHeapParser, TopLevelTranslation

public abstract class SceneObject
extends Object

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SceneObject(Scene scene)
protected	SceneObject(SceneObject otherObject)

Method Summary

Modifier and Type	Method and Description
Scene	scene()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SceneObject

protected SceneObject(Scene scene)

SceneObject

protected SceneObject(SceneObject otherObject)

Method Detail

scene

public Scene scene()