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