Module declare4py.models.log_result

Expand source code
class LogResult(object):
    traces = {}
    num_fulfillments_in_log = None
    num_violations_in_log = None
    num_pendings_in_log = None
    num_activations_in_log = None
    num_traces_satisfied_in_log = None

    '''def __init__(self, traces, num_fulfillments_in_log, num_violations_in_log, num_pendings_in_log, num_activations_in_log, num_traces_satisfied_in_log):
        self.traces = traces
        self.num_fulfillments_in_log = num_fulfillments_in_log
        self.num_violations_in_log = num_violations_in_log
        self.num_pendings_in_log = num_pendings_in_log
        self.num_activations_in_log = num_activations_in_log
        self.num_traces_satisfied_in_log = num_traces_satisfied_in_log'''

Classes

class LogResult
Expand source code
class LogResult(object):
    traces = {}
    num_fulfillments_in_log = None
    num_violations_in_log = None
    num_pendings_in_log = None
    num_activations_in_log = None
    num_traces_satisfied_in_log = None

    '''def __init__(self, traces, num_fulfillments_in_log, num_violations_in_log, num_pendings_in_log, num_activations_in_log, num_traces_satisfied_in_log):
        self.traces = traces
        self.num_fulfillments_in_log = num_fulfillments_in_log
        self.num_violations_in_log = num_violations_in_log
        self.num_pendings_in_log = num_pendings_in_log
        self.num_activations_in_log = num_activations_in_log
        self.num_traces_satisfied_in_log = num_traces_satisfied_in_log'''

Class variables

var num_activations_in_log
var num_fulfillments_in_log
var num_pendings_in_log
var num_traces_satisfied_in_log

def init(self, traces, num_fulfillments_in_log, num_violations_in_log, num_pendings_in_log, num_activations_in_log, num_traces_satisfied_in_log): self.traces = traces self.num_fulfillments_in_log = num_fulfillments_in_log self.num_violations_in_log = num_violations_in_log self.num_pendings_in_log = num_pendings_in_log self.num_activations_in_log = num_activations_in_log self.num_traces_satisfied_in_log = num_traces_satisfied_in_log

var num_violations_in_log
var traces