Module declare4py.models.trace_result
Expand source code
class TraceResult(object):
num_fulfillments_in_trace = None
num_violations_in_trace = None
num_pendings_in_trace = None
num_activations_in_trace = None
state = None
def __init__(self, num_fulfillments_in_trace, num_violations_in_trace, num_pendings_in_trace, num_activations_in_trace, state):
self.num_fulfillments_in_trace = num_fulfillments_in_trace
self.num_violations_in_trace = num_violations_in_trace
self.num_pendings_in_trace = num_pendings_in_trace
self.num_activations_in_trace = num_activations_in_trace
self.state = state
Classes
class TraceResult (num_fulfillments_in_trace, num_violations_in_trace, num_pendings_in_trace, num_activations_in_trace, state)
-
Expand source code
class TraceResult(object): num_fulfillments_in_trace = None num_violations_in_trace = None num_pendings_in_trace = None num_activations_in_trace = None state = None def __init__(self, num_fulfillments_in_trace, num_violations_in_trace, num_pendings_in_trace, num_activations_in_trace, state): self.num_fulfillments_in_trace = num_fulfillments_in_trace self.num_violations_in_trace = num_violations_in_trace self.num_pendings_in_trace = num_pendings_in_trace self.num_activations_in_trace = num_activations_in_trace self.state = state
Class variables
var num_activations_in_trace
var num_fulfillments_in_trace
var num_pendings_in_trace
var num_violations_in_trace
var state