tesla::Manifest Class Reference

Detailed Description

A description of TESLA instrumentation to perform.

Definition at line 55 of file Manifest.h.

#include "Manifest.h"

Public Member Functions
	Manifest (const Manifest &)
	~Manifest ()
llvm::ArrayRef< const Usage * >	RootAutomata () const
	Top-level automata (named explicitly in code). More...
const AutomataMap &	AllAutomata () const
	All automata in the manifest file. More...
const Automaton *	FindAutomaton (const Identifier &) const
	Find the tesla::Automaton named by an tesla::Identifier. More...
const Automaton *	FindAutomaton (const Location &) const
	Find the tesla::Automaton defined at a tesla::Location. More...

Static Public Member Functions
static Manifest *	load (llvm::raw_ostream &Err, Automaton::Type=Automaton::Deterministic, llvm::StringRef Path=defaultLocation())
	Load a tesla::Manifest from a named file. More...
static llvm::StringRef	defaultLocation ()
	The default location to look for a TESLA manifest. More...

Constructor & Destructor Documentation

tesla::Manifest::Manifest

(

const Manifest &

)

tesla::Manifest::~Manifest

(

)

Definition at line 65 of file Manifest.cpp.

                    {
  for (auto i : Automata)
    delete i.second;
}

Member Function Documentation

const AutomataMap& tesla::Manifest::AllAutomata ( ) const

inline

All automata in the manifest file.

Definition at line 64 of file Manifest.h.

Referenced by main().

{ return Descriptions; }

Here is the caller graph for this function:

StringRef tesla::Manifest::defaultLocation ( )

static

The default location to look for a TESLA manifest.

This could be specified by a command-line option.

Definition at line 153 of file Manifest.cpp.

References tesla::ManifestName().

{ return ManifestName; }

Here is the call graph for this function:

const Automaton * tesla::Manifest::FindAutomaton

(

const Identifier &

ID

)

const

Find the tesla::Automaton named by an tesla::Identifier.

Definition at line 70 of file Manifest.cpp.

References tesla::panic(), and tesla::ShortName().

Referenced by main().

                                                                   {
  auto i = Automata.find(ID);
  if (i == Automata.end())
    panic("TESLA manifest does not contain assertion " + ShortName(ID));

  return i->second;
}

Here is the call graph for this function:

Here is the caller graph for this function:

const Automaton * tesla::Manifest::FindAutomaton

(

const Location &

Loc

)

const

Find the tesla::Automaton defined at a tesla::Location.

Definition at line 78 of file Manifest.cpp.

                                                                  {
  Identifier ID;
  *ID.mutable_location() = Loc;

  return FindAutomaton(ID);
}

Manifest * tesla::Manifest::load ( llvm::raw_ostream &  Err, Automaton::Type  = Automaton::Deterministic, llvm::StringRef  Path = defaultLocation()  )

static

Load a tesla::Manifest from a named file.

Definition at line 87 of file Manifest.cpp.

Referenced by main().

                                                                        {
  llvm::SourceMgr SM;
  OwningPtr<MemoryBuffer> Buffer;

  error_code Error = MemoryBuffer::getFile(Path, Buffer);
  if (Error != 0) {
    ErrorStream
      << "Failed to open TESLA analysis file '" << Path << "': "
      << Error.message() << "\n"
      ;

    return NULL;
  }

  OwningPtr<ManifestFile> Protobuf(new ManifestFile);
  if (!::google::protobuf::TextFormat::ParseFromString(Buffer->getBuffer(),
                                                       Protobuf.get())) {
    ErrorStream << "Error parsing TESLA manifest '" << Path << "'\n";
    return NULL;
  }

  AutomataMap Descriptions;
  map<Identifier,const Automaton*> Automata;

  // Note the top-level automata that are explicitly named as roots.
  ArrayRef<const Usage*> Roots(Protobuf->root().data(), Protobuf->root_size());
  map<Identifier,const Usage*> Uses;
  for (auto *U : Roots)
    Uses[U->identifier()] = U;

  for (auto& A : Protobuf->automaton())
    Descriptions[A.identifier()] = &A;

  int id = 0;
  for (auto i : Descriptions) {
    const Identifier& ID = i.first;
    const AutomatonDescription *Descrip = i.second;

    OwningPtr<NFA> N(NFA::Parse(Descrip, Uses[ID], id++));
    if (!N) {
      for (auto i : Automata) delete i.second;
      for (auto i : Descriptions) delete i.second;
      return NULL;
    }

    OwningPtr<Automaton> Result;

    if (T == Automaton::Unlinked)
      Result.reset(N.take());

    else {
      N.reset(N->Link(Descriptions));

      if (T == Automaton::Linked)
        Result.reset(N.take());

      else
        Result.reset(DFA::Convert(N.get()));
    }

    Automata[ID] = Result.take();
  }

  return new Manifest(Protobuf, Descriptions, Automata, Roots);
}

Here is the caller graph for this function:

llvm::ArrayRef<const Usage*> tesla::Manifest::RootAutomata ( ) const

inline

Top-level automata (named explicitly in code).

Definition at line 61 of file Manifest.h.

{ return Roots; }

---

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

• tesla/common/Manifest.h
• tesla/common/Manifest.cpp