FDR::Assertions::HasTraceAssertion Class Reference

An assertion that a process has a certain trace. More...

#include <has_trace_assertion.h>

Inheritance diagram for FDR::Assertions::HasTraceAssertion:
Inheritance graph
[legend]
Collaboration diagram for FDR::Assertions::HasTraceAssertion:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 HasTraceAssertion (const HasTraceAssertion &assertion)
 HasTraceAssertion (const std::shared_ptr< Session > &session, const std::shared_ptr< LTS::Machine > &machine, const LTS::SemanticModel model, const std::vector< LTS::CompiledEvent > &trace)
 Construct a new has trace assertion.
HasTraceAssertionoperator= (const HasTraceAssertion &assertion)

Friends

struct AssertionFactory

Detailed Description

An assertion that a process has a certain trace.


Constructor & Destructor Documentation

FDR::Assertions::HasTraceAssertion::HasTraceAssertion ( const std::shared_ptr< Session > &  session,
const std::shared_ptr< LTS::Machine > &  machine,
const LTS::SemanticModel  model,
const std::vector< LTS::CompiledEvent > &  trace 
)

Construct a new has trace assertion.

Parameters:
session The session associated with machine
machine The machine to check.
model The semantic model in which to perform the check. An exception may be thrown in Assertion::execute() if this is not a valid model for this assertion.
trace The trace to check can be performed by the machine.

The documentation for this class was generated from the following file:
 All Classes Functions

Generated on 27 Oct 2017 for FDR by  doxygen 1.6.1