Detailed Description

A function-related transition.

Definition at line 290 of file Transition.h.

#include "Transition.h"

Inheritance diagram for tesla::FnTransition:

Collaboration diagram for tesla::FnTransition:

Public Member Functions
bool	IsRealisable () const
	Can this transition be captured by real instrumentation code? More...

std::string	ShortLabel () const
	A short, human-readable label. More...

std::string	DotLabel () const
	A label that can go in a .dot file (can use newline, Greek HTML codes...). More...

const FunctionEvent &	FnEvent () const

const ReferenceVector	Arguments () const
	Arguments referenced by this transition. More...

bool	IsStrict () const
	This transition can only occur as described in an automaton. More...

bool	EquivalentExpression (const Transition *Other) const

virtual TransitionKind	getKind () const

Public Member Functions inherited from tesla::Transition
virtual	~Transition ()

const State &	Source () const

const State &	Destination () const

bool	RequiresInit () const
	This transition triggers initialisation of its TESLA automata class. More...

bool	RequiresCleanup () const
	This transition triggers cleanup of its TESLA automata class. More...

llvm::SmallVector< const Argument *, 4 >	NewArguments () const
	Arguments newly referenced by this transition (unknown to previous state). More...

int	NewArgMask () const
	A bitmask representing the arguments newly referenced by this transition. More...

void	ReferencesThusFar (llvm::OwningArrayPtr< const Argument * > &Args, ReferenceVector &Ref) const
	The references known at the point this transition occurs. More...

virtual std::string	String () const

bool	InScope () const

Static Public Member Functions
static bool	classof (const Transition *T)

Static Public Member Functions inherited from tesla::Transition
static void	Create (State &From, State &To, TransitionVector &Transitions, bool Init=false, bool Cleanup=false)
	Create an unconditional transition. More...

static void	Create (State &From, State &To, const FunctionEvent &Ev, TransitionVector &, bool Init, bool Cleanup, bool OutOfScope=false)
	Create a FunctionEvent transition. More...

static void	Create (State &From, State &To, const FieldAssignment &A, TransitionVector &, bool Init, bool Cleanup, bool OutOfScope=false)
	Create a FieldAssignment transition. More...

static void	Create (State &From, State &To, const NowEvent &, const AutomatonDescription &, TransitionVector &, bool Init, bool Cleanup)

static void	CreateSubAutomaton (State &From, State &To, const Identifier &, TransitionVector &)

static void	Copy (State &From, State &To, const Transition *Other, TransitionVector &, bool OutOfScope=false)
	Creates a transition between the specified states, with the same transition type as the copied transition. More...

static void	GroupClasses (const TransitionVector &, TransitionSets &)
	Group transitions into equivalence classes. More...

Protected Member Functions
virtual bool	EquivalentTo (const Transition &T) const
	Does this transition consume and produce the same symbols as another? More...

Protected Member Functions inherited from tesla::Transition
	Transition (const State &From, const State &To, bool Init, bool Cleanup, bool OutOfScope)

Friends
class	Transition

Additional Inherited Members
Public Types inherited from tesla::Transition
enum	TransitionKind { Null, Now, Fn, FieldAssign, SubAutomaton }
	Information for LLVM's RTTI (isa<>, cast<>, etc.). More...

Static Protected Member Functions inherited from tesla::Transition
static void	Register (llvm::OwningPtr< Transition > &, State &From, State &To, TransitionVector &)

static void	Append (const llvm::OwningPtr< Transition > &, TransitionSets &)

Protected Attributes inherited from tesla::Transition
const State &	From

const State &	To

bool	Init
	This transition triggers initialisation. More...

bool	Cleanup
	This transition triggers cleanup. More...

const bool	OutOfScope

Member Function Documentation

const ReferenceVector tesla::FnTransition::Arguments ( ) const

virtual

Arguments referenced by this transition.

Implements tesla::Transition.

Definition at line 274 of file Transition.cpp.

                                                     {
   const Argument* const *Args = Ev.argument().data();
   size_t Len = Ev.argument_size();
 
   return ReferenceVector(Args, Len);
 }

static bool tesla::FnTransition::classof ( const Transition * T )

inlinestatic

Definition at line 307 of file Transition.h.

References tesla::Transition::Fn, and tesla::Transition::getKind().

                                            {
     return T->getKind() == Fn;
   }

Here is the call graph for this function:

string tesla::FnTransition::DotLabel ( ) const

virtual

A label that can go in a .dot file (can use newline, Greek HTML codes...).

Implements tesla::Transition.

Definition at line 301 of file Transition.cpp.

References tesla::DotName().

                                     {
   std::stringstream ss;
   ss << Ev.function().name() << "(";
 
   for (int i = 0; i < Ev.argument_size(); i++)
     ss
       << DotName(&Ev.argument(i))
       << ((i < Ev.argument_size() - 1) ? "," : "");
 
   ss << ")";
 
   if (Ev.has_expectedreturnvalue()) {
     assert(Ev.direction() == FunctionEvent::Exit);
     ss << " == " << DotName(&Ev.expectedreturnvalue());
   } else
     ss << "\\n("
       << FunctionEvent::Direction_Name(Ev.direction())
       << ")"
       ;
 
   return ss.str();
 }

Here is the call graph for this function:

bool tesla::FnTransition::EquivalentExpression ( const Transition * Other ) const

inline

Definition at line 300 of file Transition.h.

                                                            {
     auto *T = llvm::dyn_cast<FnTransition>(Other);
     if (!T) return false;
 
     return T->Ev == Ev;
   }

virtual bool tesla::FnTransition::EquivalentTo ( const Transition & T ) const

inlineprotectedvirtual

Does this transition consume and produce the same symbols as another?

Implements tesla::Transition.

Definition at line 314 of file Transition.h.

References tesla::Transition::Fn, and tesla::Transition::getKind().

                                                        {
     return (T.getKind() == Fn) &&
         (Ev == llvm::cast<FnTransition>(&T)->FnEvent());
   }

Here is the call graph for this function:

const FunctionEvent& tesla::FnTransition::FnEvent ( ) const

inline

Definition at line 296 of file Transition.h.

Referenced by tesla::FnCallerInstrumenter::doInitialization(), and tesla::FnCalleeInstrumenter::runOnModule().

296 { return Ev; }

Here is the caller graph for this function:

virtual TransitionKind tesla::FnTransition::getKind ( ) const

inlinevirtual

Implements tesla::Transition.

Definition at line 311 of file Transition.h.

References tesla::Transition::Fn.

311 { return Fn; };

bool tesla::FnTransition::IsRealisable ( ) const

inlinevirtual

Can this transition be captured by real instrumentation code?

Implements tesla::Transition.

Definition at line 292 of file Transition.h.

292 { return true; }

bool tesla::FnTransition::IsStrict ( ) const

inlinevirtual

This transition can only occur as described in an automaton.

Reimplemented from tesla::Transition.

Definition at line 298 of file Transition.h.

References tesla::FunctionEvent::strict.

298 { return Ev.strict(); }

string tesla::FnTransition::ShortLabel ( ) const

virtual

A short, human-readable label.

Implements tesla::Transition.

Definition at line 281 of file Transition.cpp.

References tesla::ShortName().

                                       {
   std::stringstream ss;
   ss << Ev.function().name() << "(";
 
   for (int i = 0; i < Ev.argument_size(); i++)
     ss
       << ShortName(&Ev.argument(i))
       << ((i < Ev.argument_size() - 1) ? "," : "");
 
   ss << ")";
 
   if (Ev.has_expectedreturnvalue()) {
     assert(Ev.direction() == FunctionEvent::Exit);
     ss << " == " << ShortName(&Ev.expectedreturnvalue());
   } else
     ss << ": " << FunctionEvent::Direction_Name(Ev.direction());
 
   return ss.str();
 }

Here is the call graph for this function:

Friends And Related Function Documentation

friend class Transition

friend

Definition at line 326 of file Transition.h.

The documentation for this class was generated from the following files:

tesla/common/Transition.h
tesla/common/Transition.cpp

Computer Laboratory

Detailed Description

Public Member Functions

Static Public Member Functions

Protected Member Functions

Friends

Additional Inherited Members

Member Function Documentation

Friends And Related Function Documentation