|
// 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
|