30313233343536
public StateObserver(StateObserverInfo stateObserverInfo) { super(stateObserverInfo); changeType(stateObserverInfo.type()); changeInvariant(stateObserverInfo.invariant()); vis = new StateObserverVis(this); }