tesla::TeslaVisitor Class Reference

Detailed Description

Definition at line 45 of file Visitor.h.

#include "Visitor.h"

Inheritance diagram for tesla::TeslaVisitor:

Collaboration diagram for tesla::TeslaVisitor:

Public Member Functions
	TeslaVisitor (llvm::StringRef Filename, clang::ASTContext *Context)
	~TeslaVisitor ()
bool	VisitCallExpr (clang::CallExpr *)
bool	VisitFunctionDecl (clang::FunctionDecl *)
	Visit a function declaration, looking for TESLA automata descriptions. More...
const llvm::ArrayRef < AutomatonDescription * >	GetAutomata () const
const llvm::ArrayRef< const Usage * >	RootAutomata () const

Constructor & Destructor Documentation

tesla::TeslaVisitor::TeslaVisitor	(	llvm::StringRef	Filename,
		clang::ASTContext *	Context
	)

Definition at line 54 of file Visitor.cpp.

  : Filename(Filename), Context(Context)
{
}

tesla::TeslaVisitor::~TeslaVisitor

(

)

Definition at line 59 of file Visitor.cpp.

                            {
  for (auto *A : Automata)
    delete A;

  for (auto *R : Roots)
    delete R;
}

Member Function Documentation

const llvm::ArrayRef<AutomatonDescription*> tesla::TeslaVisitor::GetAutomata ( ) const

inline

Definition at line 55 of file Visitor.h.

Referenced by tesla::TeslaConsumer::HandleTranslationUnit().

                                                                {
    return Automata;
  }

Here is the caller graph for this function:

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

inline

Definition at line 59 of file Visitor.h.

Referenced by tesla::TeslaConsumer::HandleTranslationUnit().

                                                        {
    return Roots;
  }

Here is the caller graph for this function:

bool tesla::TeslaVisitor::VisitCallExpr

(

clang::CallExpr *

)

Definition at line 67 of file Visitor.cpp.

References tesla::Parser::AssertionParser(), tesla::INLINE_ASSERTION, and tesla::TESLA_BASE.

                                            {
  FunctionDecl *F = E->getDirectCallee();
  if (!F) return true;

  StringRef FnName = F->getName();
  if (!FnName.startswith(TESLA_BASE)) return true;

  // TESLA function calls might be inline assertions.
  if (FnName == INLINE_ASSERTION) {
    OwningPtr<Parser> P(Parser::AssertionParser(E, *Context));
    if (!P)
      return false;

    OwningPtr<AutomatonDescription> Description;
    OwningPtr<Usage> Use;
    if (!P->Parse(Description, Use))
      return false;

    Automata.push_back(Description.take());
    Roots.push_back(Use.take());
    return true;
  }

  return true;
}

Here is the call graph for this function:

bool tesla::TeslaVisitor::VisitFunctionDecl

(

clang::FunctionDecl *

)

Visit a function declaration, looking for TESLA automata descriptions.

Definition at line 94 of file Visitor.cpp.

References tesla::AUTOMATON_DESC, tesla::AUTOMATON_USAGE, tesla::AUTOMATON_USES, tesla::Parser::AutomatonParser(), and tesla::Parser::MappingParser().

                                                    {
  // Only analyse non-deleted definitions (i.e. definitions with bodies).
  if (!F->doesThisDeclarationHaveABody())
    return true;


  // We only parse functions that return __tesla_automaton_description*.
  const Type *RetTy = F->getResultType().getTypePtr();
  if (!RetTy->isPointerType())
    return true;

  QualType Pointee = RetTy->getPointeeType();
  auto TypeID = Pointee.getBaseTypeIdentifier();
  if (!TypeID)
    return true;

  OwningPtr<Parser> P;
  StringRef FnName = F->getName();

  // Build a Parser appropriate to what we're parsing.
  string RetTypeName = TypeID->getName();
  if (RetTypeName == AUTOMATON_DESC)
    P.reset(Parser::AutomatonParser(F, *Context));

  else if ((RetTypeName == AUTOMATON_USAGE) && (FnName != AUTOMATON_USES))
    P.reset(Parser::MappingParser(F, *Context));

  else
    return true;


  // Actually parse the function.
  if (!P)
    return false;

  OwningPtr<AutomatonDescription> Description;
  OwningPtr<Usage> Use;
  if (!P->Parse(Description, Use))
    return false;

  if (Description)
    Automata.push_back(Description.take());

  if (Use)
    Roots.push_back(Use.take());

  return true;
}

Here is the call graph for this function:

---

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

• tesla/analyser/Visitor.h
• tesla/analyser/Visitor.cpp