tesla::State Class Reference

Detailed Description

A state in a TESLA DFA.

Definition at line 50 of file State.h.

#include "State.h"

Classes
class	Builder

Public Member Functions
	~State ()
void	AddTransition (llvm::OwningPtr< Transition > &)
size_t	ID () const
std::string	Name (bool QuoteNonNumeric=true) const
bool	IsStartState () const
bool	IsAcceptingState () const
void	UpdateReferences (const Transition &)
const ReferenceVector	References () const
uint32_t	Mask () const
std::string	String () const
std::string	Dot () const
Transition *const *	begin () const
Transition *const *	end () const

Static Public Member Functions
static Builder	NewBuilder (StateVector &S)

Friends
class	internal::DFABuilder

Constructor & Destructor Documentation

tesla::State::~State

(

)

Definition at line 59 of file State.cpp.

              {
  for (Transition *T : Transitions) delete T;
}

Member Function Documentation

void tesla::State::AddTransition

(

llvm::OwningPtr< Transition > &

)

Definition at line 63 of file State.cpp.

Referenced by tesla::Transition::Register().

{
  Transitions.push_back(T.take());
}

Here is the caller graph for this function:

Transition* const* tesla::State::begin ( ) const

inline

Definition at line 93 of file State.h.

Referenced by tesla::internal::DFABuilder::ConstructDFA().

{ return Transitions.begin(); }

Here is the caller graph for this function:

string tesla::State::Dot

(

)

const

Definition at line 153 of file State.cpp.

References tesla::InstanceName().

                        {
  assert(VariableReferences);
  string NameExtra = name.empty() ? "" : ("\\n\\\"" + name + "\\\"");

  return (
    Twine(ID())
    + " [ label = \""
    + "state " + Twine(ID())
    + NameExtra
    + "\\n" + InstanceName(Refs, false) + "\""
    + (IsAcceptingState() ? ", shape = doublecircle" : "")
    + " ];"
  ).str();
}

Here is the call graph for this function:

Transition* const* tesla::State::end ( ) const

inline

Definition at line 94 of file State.h.

Referenced by tesla::internal::DFABuilder::ConstructDFA().

{ return Transitions.end(); }

Here is the caller graph for this function:

size_t tesla::State::ID ( ) const

inline

Definition at line 82 of file State.h.

Referenced by tesla::internal::DFABuilder::ConstructDFA(), and tesla::Transition::Register().

{ return id; }

Here is the caller graph for this function:

bool tesla::State::IsAcceptingState ( ) const

inline

Definition at line 85 of file State.h.

{ return accept; }

bool tesla::State::IsStartState ( ) const

inline

Definition at line 84 of file State.h.

{ return start; }

uint32_t tesla::State::Mask

(

)

const

Definition at line 113 of file State.cpp.

                           {
  uint32_t Mask = 0;
  ReferenceVector Refs = References();

  for (size_t i = 0; i < Refs.size(); i++) {
    if (Refs[i] && Refs[i]->type() == Argument::Variable)
      Mask |= (1 << i);
  }


  return Mask;
}

string tesla::State::Name

(

bool

QuoteNonNumeric = true

)

const

Definition at line 126 of file State.cpp.

                                             {
  std::stringstream ss;
  if (name.empty()) {
    ss << ID();
  } else {
    auto Quote = (QuoteNonNumeric ? "'" : "");
    ss << Quote << name << Quote;
  }

  return ss.str();
}

static Builder tesla::State::NewBuilder ( StateVector &  S )

inlinestatic

Definition at line 76 of file State.h.

Referenced by tesla::internal::NFAParser::Parse().

{ return Builder(S); }

Here is the caller graph for this function:

const ReferenceVector tesla::State::References ( ) const

inline

Definition at line 88 of file State.h.

{ return Refs; }

string tesla::State::String

(

)

const

Definition at line 139 of file State.cpp.

References tesla::InstanceName(), and tesla::Transition::String().

                           {
  assert(VariableReferences);

  std::stringstream ss;
  ss << "state " << Name(true) << " " << InstanceName(Refs, true) << ":";

  for (const auto& I : Transitions) {
    const Transition& T = *I;
    ss << " " << T.String();
  }

  return ss.str();
}

Here is the call graph for this function:

void tesla::State::UpdateReferences

(

const Transition &

T

)

Definition at line 68 of file State.cpp.

References tesla::Transition::InScope(), and tesla::Transition::ReferencesThusFar().

Referenced by tesla::Transition::Register().

{
  if (VariableReferences && !T.InScope())
    return;

  OwningArrayPtr<const Argument*> Args;
  ReferenceVector NewRefs;
  T.ReferencesThusFar(Args, NewRefs);

  assert(!VariableReferences
         || (NewRefs.size() == 0)
         || (Refs.size() == NewRefs.size()));
  const size_t Len = NewRefs.size();
  assert(Len < 8 * sizeof(Mask()));

  if (!VariableReferences) {
    // If we don't have any bound variables, just copy NewRefs.
    VariableReferences.reset(new const Argument*[Len]);
    memcpy(VariableReferences.get(), NewRefs.data(), Len * sizeof(Refs[0]));

    Refs = MutableReferenceVector(VariableReferences.get(), Len);
    return;
  }

#ifndef NDEBUG
  if (T.InScope()) {
    for (auto *Arg : NewRefs) {
      if (Arg == NULL)
        continue;

      assert(Arg->type() == Argument::Variable);
      assert(((size_t) Arg->index()) <= Len);
    }

    uint32_t NewMask = 0;
    for (size_t i = 0; i < Len; i++) {
      if ((NewRefs[i] != NULL) && (NewRefs[i]->type() == Argument::Constant))
        NewMask |= (1 << i);
    }

    assert((Mask() & NewMask) == NewMask);
  }
#endif
}

Here is the call graph for this function:

Here is the caller graph for this function:

Friends And Related Function Documentation

friend class internal::DFABuilder

friend

Definition at line 51 of file State.h.

---

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

• tesla/common/State.h
• tesla/common/State.cpp