OoasTools

// Generated by the protocol buffer compiler.  DO NOT EDIT!

// source: FunctionNames.proto

#ifndef PROTOBUF_FunctionNames_2eproto__INCLUDED

#define PROTOBUF_FunctionNames_2eproto__INCLUDED

#include <string>

#include <google/protobuf/stubs/common.h>

#if GOOGLE_PROTOBUF_VERSION < 2005000

#error This file was generated by a newer version of protoc which is

#error incompatible with your Protocol Buffer headers.  Please update

#error your headers.

#endif

#if 2005000 < GOOGLE_PROTOBUF_MIN_PROTOC_VERSION

#error This file was generated by an older version of protoc which is

#error incompatible with your Protocol Buffer headers.  Please

#error regenerate this file with a newer version of protoc.

#endif

#include <google/protobuf/generated_message_util.h>

#include <google/protobuf/repeated_field.h>

#include <google/protobuf/extension_set.h>

#include <google/protobuf/generated_enum_reflection.h>

// @@protoc_insertion_point(includes)

namespace serialize {

// Internal implementation detail -- do not call these.

void  protobuf_AddDesc_FunctionNames_2eproto();

void protobuf_AssignDesc_FunctionNames_2eproto();

void protobuf_ShutdownFile_FunctionNames_2eproto();

enum PBAdd {

  TIRESIAS_ADD_IDENTIFIERTOLIST = 0,

  TIRESIAS_ADD_TYPETOLIST = 1,

  TIRESIAS_ADD_STATEMENTTOLIST = 2,

  TIRESIAS_ADD_EXPRESSIONTOLIST = 3,

  TIRESIAS_ADD_IDTOSYMBTAB = 4,

  TIRESIAS_ADD_PARAMTOLIST = 5,

  TIRESIAS_ADD_ACTIONSYSTEMINSTANCETOLIST = 6,

  TIRESIAS_ADD_IDENTIFIERTOBLOCK = 7

};

bool PBAdd_IsValid(int value);

const PBAdd PBAdd_MIN = TIRESIAS_ADD_IDENTIFIERTOLIST;

const PBAdd PBAdd_MAX = TIRESIAS_ADD_IDENTIFIERTOBLOCK;

const int PBAdd_ARRAYSIZE = PBAdd_MAX + 1;

const ::google::protobuf::EnumDescriptor* PBAdd_descriptor();

inline const ::std::string& PBAdd_Name(PBAdd value) {

  return ::google::protobuf::internal::NameOfEnum(

    PBAdd_descriptor(), value);

}

inline bool PBAdd_Parse(

    const ::std::string& name, PBAdd* value) {

  return ::google::protobuf::internal::ParseNamedEnum<PBAdd>(

    PBAdd_descriptor(), name, value);

}

enum PBAllocation {

  TIRESIAS_CREATE_IDENTIFIER = 0,

  TIRESIAS_CREATE_TYPE = 1,

  TIRESIAS_CREATE_STATEMENT = 2,

  TIRESIAS_CREATE_EXPRESSION = 3,

  TIRESIAS_CREATE_STATEMENTLIST = 4,

  TIRESIAS_CREATE_EXPRESSIONLIST = 5,

  TIRESIAS_CREATE_IDENTIFIERLIST = 6,

  TIRESIAS_CREATE_SYMBTAB = 7,

  TIRESIAS_CREATE_PARAMLIST = 8,

  TIRESIAS_CREATE_ACTIONSYSTEMINSTANCE = 9,

  TIRESIAS_CREATE_TYPELIST = 10,

  TIRESIAS_CREATE_ACTIONSYSTEMINSTANCELIST = 11,

  TIRESIAS_CAST_ASTELEMENT_TO_ISCOPE = 12

};

bool PBAllocation_IsValid(int value);

const PBAllocation PBAllocation_MIN = TIRESIAS_CREATE_IDENTIFIER;

const PBAllocation PBAllocation_MAX = TIRESIAS_CAST_ASTELEMENT_TO_ISCOPE;

const int PBAllocation_ARRAYSIZE = PBAllocation_MAX + 1;

const ::google::protobuf::EnumDescriptor* PBAllocation_descriptor();

inline const ::std::string& PBAllocation_Name(PBAllocation value) {

  return ::google::protobuf::internal::NameOfEnum(

    PBAllocation_descriptor(), value);

}

inline bool PBAllocation_Parse(

    const ::std::string& name, PBAllocation* value) {

  return ::google::protobuf::internal::ParseNamedEnum<PBAllocation>(

    PBAllocation_descriptor(), name, value);

}

enum PBIdentifiers {

  TIRESIAS_INIT_ENUMIDENTIFIER = 1,

  TIRESIAS_INIT_CONSTIDENTIFIER = 2,

  TIRESIAS_INIT_ATTRIDENTIFIER = 3,

  TIRESIAS_INIT_EXPRVARIDENTIFIER = 4,

  TIRESIAS_INIT_PARAMIDENTIFIER = 5,

  TIRESIAS_INIT_LOCVARIDENTIFIER = 6,

  TIRESIAS_INIT_TYPEIDENTIFIER = 7,

  TIRESIAS_INIT_SELFIDENTIFIER = 8,

  TIRESIAS_INIT_METHODIDENTIFIER = 9,

  TIRESIAS_INIT_MODULE = 10,

  TIRESIAS_INIT_MAINMODULE = 0

};

bool PBIdentifiers_IsValid(int value);

const PBIdentifiers PBIdentifiers_MIN = TIRESIAS_INIT_MAINMODULE;

const PBIdentifiers PBIdentifiers_MAX = TIRESIAS_INIT_MODULE;

const int PBIdentifiers_ARRAYSIZE = PBIdentifiers_MAX + 1;

const ::google::protobuf::EnumDescriptor* PBIdentifiers_descriptor();

inline const ::std::string& PBIdentifiers_Name(PBIdentifiers value) {

  return ::google::protobuf::internal::NameOfEnum(

    PBIdentifiers_descriptor(), value);

}

inline bool PBIdentifiers_Parse(

    const ::std::string& name, PBIdentifiers* value) {

  return ::google::protobuf::internal::ParseNamedEnum<PBIdentifiers>(

    PBIdentifiers_descriptor(), name, value);

}

enum PBTypes {

  TIRESIAS_INIT_INTTYPE = 1,

  TIRESIAS_INIT_BOOLTYPE = 2,

  TIRESIAS_INIT_VALUEDENUMTYPE = 3,

  TIRESIAS_INIT_ENUMTYPE = 4,

  TIRESIAS_INIT_LISTTYPE = 5,

  TIRESIAS_INIT_TUPLETYPE = 6,

  TIRESIAS_INIT_FUNCTIONTYPE = 7,

  TIRESIAS_INIT_ACTIONSYSTEMINSTANCE = 8,

  TIRESIAS_INIT_ACTIONSYSTEMTYPE = 9,

  TIRESIAS_INIT_NULLTYPE = 0

};

bool PBTypes_IsValid(int value);

const PBTypes PBTypes_MIN = TIRESIAS_INIT_NULLTYPE;

const PBTypes PBTypes_MAX = TIRESIAS_INIT_ACTIONSYSTEMTYPE;

const int PBTypes_ARRAYSIZE = PBTypes_MAX + 1;

const ::google::protobuf::EnumDescriptor* PBTypes_descriptor();

inline const ::std::string& PBTypes_Name(PBTypes value) {

  return ::google::protobuf::internal::NameOfEnum(

    PBTypes_descriptor(), value);

}

inline bool PBTypes_Parse(

    const ::std::string& name, PBTypes* value) {

  return ::google::protobuf::internal::ParseNamedEnum<PBTypes>(

    PBTypes_descriptor(), name, value);

}

enum PBStatements {

  TIRESIAS_INIT_SKIP = 3,

  TIRESIAS_INIT_BREAK = 4,

  TIRESIAS_INIT_ABORT = 5,

  TIRESIAS_INIT_NONDETBLOCK = 6,

  TIRESIAS_INIT_SEQBLOCK = 7,

  TIRESIAS_INIT_PRIOBLOCK = 8,

  TIRESIAS_INIT_GUARDEDCOMMAND = 2,

  TIRESIAS_INIT_ASSIGNMENT = 1,

  TIRESIAS_INIT_CALL = 0

};

bool PBStatements_IsValid(int value);

const PBStatements PBStatements_MIN = TIRESIAS_INIT_CALL;

const PBStatements PBStatements_MAX = TIRESIAS_INIT_PRIOBLOCK;

const int PBStatements_ARRAYSIZE = PBStatements_MAX + 1;

const ::google::protobuf::EnumDescriptor* PBStatements_descriptor();

inline const ::std::string& PBStatements_Name(PBStatements value) {

  return ::google::protobuf::internal::NameOfEnum(

    PBStatements_descriptor(), value);

}

inline bool PBStatements_Parse(

    const ::std::string& name, PBStatements* value) {

  return ::google::protobuf::internal::ParseNamedEnum<PBStatements>(

    PBStatements_descriptor(), name, value);

}

enum PBExpressions {

  TIRESIAS_INIT_TYPEEXPRESSION = 4,

  TIRESIAS_INIT_IDENTIFIEREXPRESSION = 5,

  TIRESIAS_INIT_UNARYEXPRESSION = 6,

  TIRESIAS_INIT_BINARYEXPRESSION = 7,

  TIRESIAS_INIT_TERNARYEXPRESSION = 8,

  TIRESIAS_INIT_INTVALUEEXPRESSION = 9,

  TIRESIAS_INIT_BOOLVALUEEXPRESSION = 10,

  TIRESIAS_INIT_REFVALUEEXPRESSION = 11,

  TIRESIAS_INIT_LISTCONSTRUCTOR = 12,

  TIRESIAS_INIT_SETCONSTRUCTOR = 13,

  TIRESIAS_INIT_TUPLECONSTRUCTOR = 14,

  TIRESIAS_INIT_ACCESSEXPRESSION = 15,

  TIRESIAS_INIT_TUPLEMAPACCESSEXPRESSION = 3,

  TIRESIAS_INIT_CALLEXPRESSION = 2,

  TIRESIAS_INIT_QUANTIFIEREXPRESSION = 1,

  TIRESIAS_INIT_OBJECTCONSTRUCTOR = 0

};

bool PBExpressions_IsValid(int value);

const PBExpressions PBExpressions_MIN = TIRESIAS_INIT_OBJECTCONSTRUCTOR;

const PBExpressions PBExpressions_MAX = TIRESIAS_INIT_ACCESSEXPRESSION;

const int PBExpressions_ARRAYSIZE = PBExpressions_MAX + 1;

const ::google::protobuf::EnumDescriptor* PBExpressions_descriptor();

inline const ::std::string& PBExpressions_Name(PBExpressions value) {

  return ::google::protobuf::internal::NameOfEnum(

    PBExpressions_descriptor(), value);

}

inline bool PBExpressions_Parse(

    const ::std::string& name, PBExpressions* value) {

  return ::google::protobuf::internal::ParseNamedEnum<PBExpressions>(

    PBExpressions_descriptor(), name, value);

}

// ===================================================================

// ===================================================================

// ===================================================================

// @@protoc_insertion_point(namespace_scope)

}  // namespace serialize

#ifndef SWIG

namespace google {

namespace protobuf {

template <>

inline const EnumDescriptor* GetEnumDescriptor< ::serialize::PBAdd>() {

  return ::serialize::PBAdd_descriptor();

}

template <>

inline const EnumDescriptor* GetEnumDescriptor< ::serialize::PBAllocation>() {

  return ::serialize::PBAllocation_descriptor();

}

template <>

inline const EnumDescriptor* GetEnumDescriptor< ::serialize::PBIdentifiers>() {

  return ::serialize::PBIdentifiers_descriptor();

}

template <>

inline const EnumDescriptor* GetEnumDescriptor< ::serialize::PBTypes>() {

  return ::serialize::PBTypes_descriptor();

}

template <>

inline const EnumDescriptor* GetEnumDescriptor< ::serialize::PBStatements>() {

  return ::serialize::PBStatements_descriptor();

}

template <>

inline const EnumDescriptor* GetEnumDescriptor< ::serialize::PBExpressions>() {

  return ::serialize::PBExpressions_descriptor();

}

}  // namespace google

}  // namespace protobuf

#endif  // SWIG

// @@protoc_insertion_point(global_scope)

#endif  // PROTOBUF_FunctionNames_2eproto__INCLUDED