public class SActions extends java.lang.Object
SAction[]
asserts
reports
SActions(java.util.Collection _asserts, java.util.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(java.util.Collection _asserts, java.util.Collection _reports)
MSV