public class SActions extends Object
SAction[]
asserts
reports
SActions(Collection _asserts, Collection _reports)
SActions(SAction[] _asserts, SAction[] _reports)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public final SAction[] asserts
public final SAction[] reports
public SActions(SAction[] _asserts, SAction[] _reports)
public SActions(Collection _asserts, Collection _reports)
MSV