hobbes
a language, embedded compiler, and runtime for efficient dynamic expression evaluation, data storage and analysis
|
Namespaces | |
assoc | |
net | |
pattr | |
storage | |
str | |
stream | |
Typedefs | |
typedef fileref< array< char > * > | strref |
typedef std::map< std::string, PolyTypePtr > | TypeAliasMap |
typedef std::map< std::string, MonoTypePtr > | MonoTypeAliasMap |
typedef std::function< ExprPtr(const std::string &)> | ExprParser |
typedef std::vector< llvm::Value * > | Values |
typedef void(* | eventhandler) (int fd, void *ud) |
typedef bool(* | timerfunc) () |
typedef void(* | HTTPRequestHandler) (const HTTPRequest &, int fd, void *ud) |
typedef typeAlias< timespanTNV, int64_t > | timespanT |
typedef typeAlias< timeTNV, int64_t > | timeT |
typedef typeAlias< datetimeTNV, int64_t > | datetimeT |
typedef std::vector< uint8_t > | RawData |
typedef uint32_t | exprid |
typedef std::pair< size_t, MonoTypePtr > | PrepProcExpr |
typedef std::shared_ptr< Expr > | ExprPtr |
typedef std::vector< ExprPtr > | Exprs |
typedef std::pair< std::string, ExprPtr > | Definition |
typedef std::vector< Definition > | Definitions |
typedef std::shared_ptr< Primitive > | PrimitivePtr |
typedef std::set< PrimitivePtr, PrimPtrLT > | PrimitiveSet |
typedef std::map< std::string, ExprPtr > | VarMapping |
typedef std::set< std::string > | VarSet |
typedef std::vector< ComprehensionDef > | ComprehensionDefs |
typedef std::shared_ptr< ModuleDef > | ModuleDefPtr |
typedef std::vector< ModuleDefPtr > | ModuleDefs |
typedef std::shared_ptr< MVarTypeDef > | MVarTypeDefPtr |
typedef std::vector< MVarTypeDefPtr > | MVarTypeDefs |
typedef std::shared_ptr< MVarDef > | MVarDefPtr |
typedef std::vector< MVarDefPtr > | MVarDefs |
typedef std::pair< str::seq, str::seq > | CFunDepDef |
typedef std::vector< CFunDepDef > | CFunDepDefs |
typedef std::shared_ptr< ClassDef > | ClassDefPtr |
typedef std::vector< ClassDefPtr > | ClassDefs |
typedef std::shared_ptr< InstanceDef > | InstanceDefPtr |
typedef std::vector< InstanceDefPtr > | InstanceDefs |
typedef std::shared_ptr< Module > | ModulePtr |
typedef std::vector< ModulePtr > | Modules |
typedef size_t | stateidx_t |
typedef std::set< stateidx_t > | stateidxset |
typedef std::pair< std::string, MonoTypePtr > | PrimFArg |
typedef std::vector< PrimFArg > | PrimFArgs |
typedef std::shared_ptr< MState > | MStatePtr |
typedef std::vector< MStatePtr > | MStates |
typedef std::unordered_map< std::string, stateidx_t > | StatesIdx |
typedef std::unordered_map< std::string, ExprPtr > | VarNames |
typedef std::map< size_t, ExprPtr > | ArrayElem |
typedef std::unordered_map< std::string, ArrayElem > | VarArrayElem |
typedef std::unordered_map< std::string, ExprPtr > | VarArrayLen |
typedef std::unordered_map< std::string, ExprPtr > | StructField |
typedef std::unordered_map< std::string, StructField > | VarStructField |
typedef std::pair< std::string, ExprPtr > | FoldedState |
typedef std::vector< FoldedState > | FoldedStates |
typedef std::unordered_map< stateidx_t, ExprPtr > | FoldedStateCalls |
typedef std::unordered_map< PatternRows, stateidx_t, hobbes::genHash< PatternRows > > | TableCfgStates |
typedef std::unordered_map< Expr *, size_t > | ExprIdxs |
typedef std::vector< size_t > | Idxs |
typedef std::shared_ptr< Pattern > | PatternPtr |
typedef std::vector< PatternPtr > | Patterns |
typedef std::vector< PatternRow > | PatternRows |
typedef std::shared_ptr< std::vector< std::pair< size_t, PatternRow > > > | UnreachableMatchRowsPtr |
typedef std::shared_ptr< Regex > | RegexPtr |
typedef std::vector< RegexPtr > | Regexes |
typedef size_t | RegexIdx |
typedef std::set< RegexIdx > | RegexIdxs |
typedef std::map< size_t, RegexIdxs > | RStates |
typedef std::map< size_t, str::seq > | CaptureVarsAt |
typedef std::pair< std::string, ExprPtr > | CVarDef |
typedef std::vector< CVarDef > | CVarDefs |
typedef std::map< std::string, ExprPtr > | MemberMapping |
typedef std::shared_ptr< TCInstance > | TCInstancePtr |
typedef std::vector< TCInstancePtr > | TCInstances |
typedef std::shared_ptr< TCInstanceFn > | TCInstanceFnPtr |
typedef std::vector< TCInstanceFnPtr > | TCInstanceFns |
typedef std::shared_ptr< TClass > | TClassPtr |
typedef std::map< std::string, TClassPtr > | TClassEnv |
typedef std::vector< PtrAdjustment > | PtrAdjustmentPath |
typedef std::shared_ptr< Objs > | ObjsPtr |
typedef std::shared_ptr< PolyType > | PolyTypePtr |
typedef std::vector< PolyTypePtr > | PolyTypes |
typedef std::shared_ptr< QualType > | QualTypePtr |
typedef std::vector< QualTypePtr > | QualTypes |
typedef std::shared_ptr< Constraint > | ConstraintPtr |
typedef std::vector< ConstraintPtr > | Constraints |
typedef MonoType::ptr | MonoTypePtr |
typedef std::vector< MonoTypePtr > | MonoTypes |
typedef std::shared_ptr< TEnv > | TEnvPtr |
typedef std::shared_ptr< Unqualifier > | UnqualifierPtr |
typedef std::shared_ptr< UnqualifierSet > | UnqualifierSetPtr |
typedef std::string | TVName |
typedef std::vector< TVName > | Names |
typedef std::set< TVName > | NameSet |
typedef std::map< TVName, MonoTypePtr > | MonoTypeSubst |
typedef std::set< int > | TGenVarSet |
typedef std::pair< Constraints, MonoTypes > | QualLiftedMonoTypes |
typedef std::pair< Constraints, MonoTypePtr > | QualLiftedMonoType |
typedef variant< unit, MonoTypePtr > | MaybePathPoint |
typedef std::vector< MaybePathPoint > | MaybePathPoints |
typedef std::set< std::string > | SymSet |
typedef std::vector< int > | VarIDs |
typedef std::pair< VarIDs, int > | FunDep |
typedef std::vector< FunDep > | FunDeps |
typedef unsigned int | nat |
typedef std::vector< nat > | nats |
typedef std::vector< std::string > | strings |
typedef std::pair< nats, strings > | ldblines |
typedef std::shared_ptr< GrammarValue > | GrammarValuePtr |
typedef std::vector< BoundGrammarValue > | BoundGrammarValues |
typedef std::vector< GrammarRule > | GrammarRules |
typedef std::pair< std::string, GrammarRules > | GrammarSymDef |
typedef std::vector< GrammarSymDef > | Grammar |
typedef terminals | rule |
typedef std::vector< rule > | rules |
typedef std::map< terminal *, rules > | grammar |
typedef std::set< item > | itemset |
typedef std::vector< itemset > | itemsets |
typedef std::map< terminal *, nat > | state_transitions |
typedef std::map< itemset, nat > | parser_states |
typedef std::map< nat, itemset > | state_definitions |
typedef std::map< nat, state_transitions > | parser_state_transitions |
typedef std::pair< nat, terminal * > | transition |
typedef std::set< transition > | transitionset |
typedef std::map< transition, terminalset > | transition_lookahead |
typedef std::map< terminal *, action > | lrstate |
typedef std::vector< lrstate > | lrtable |
typedef std::vector< ParseRule > | Parser |
typedef std::vector< terminal * > | terminals |
typedef std::set< terminal * > | terminalset |
typedef std::map< terminal *, prec > | precedence |
typedef std::pair< std::string, ExprPtr > | ExprDefn |
typedef Expr *(* | VarCtorFn) (const std::string &, const LexicalAnnotation &) |
typedef Pattern *(* | PatVarCtorFn) (const std::string &, const LexicalAnnotation &) |
typedef unsigned char | UnitV |
typedef std::vector< uint8_t > | bytes |
typedef std::pair< bool, std::string > | BuffOrFilename |
typedef std::shared_ptr< BuffOrFilename > | BuffOrFilenamePtr |
typedef std::pair< size_t, size_t > | Pos |
typedef std::pair< Pos, Pos > | LexRange |
typedef std::pair< std::string, LexicalAnnotation > | annmsg |
typedef std::vector< annmsg > | annmsgs |
typedef std::vector< llvm::Type * > | Types |
typedef std::vector< llvm::Constant * > | Constants |
typedef std::pair< std::string, llvm::Value * > | FieldValue |
typedef std::vector< FieldValue > | RecordValue |
typedef std::pair< std::string, llvm::Constant * > | ConstFieldValue |
typedef std::vector< ConstFieldValue > | ConstRecordValue |
typedef std::pair< std::vector< std::string >, Values > | UnzRecValues |
typedef std::pair< bool, MonoTypePtr > | UTFileConfig |
typedef std::pair< bool, const Record * > | FileConfig |
typedef std::pair< MonoTypePtr, ExprPtr > | FRefT |
typedef std::vector< pagedata > | pagetable |
typedef uint64_t | file_pageindex_t |
typedef std::map< std::string, binding > | bindingset |
typedef std::map< file_pageindex_t, fregion > | fmappings |
typedef std::map< char *, falloc > | fallocs |
typedef std::vector< file_pageindex_t > | pageseq |
typedef std::map< pagetype::code, pageseq > | ptyorder |
typedef array< int > | PBatch |
typedef fileref< PBatch * > | PBatchRef |
typedef dbseq< PBatchRef > | PBatchList |
typedef fileref< PBatchList * > | PBatchListRef |
typedef bool(* | ChangeSignal) (long) |
typedef std::set< ChangeSignal > | ChangeSignals |
typedef std::map< uint64_t, ByteRangeWatch > | ByteRangeWatches |
typedef std::vector< FileWatch > | FileWatches |
typedef std::pair< bool, uint64_t > | IsArrOldVal |
typedef std::pair< uint64_t, IsArrOldVal > | OffsetData |
typedef std::pair< const array< char > *, const array< OffsetData > * > | FileWatchData |
typedef std::vector< std::string > | ModulePaths |
typedef std::map< std::string, int > | NameIndexing |
typedef std::pair< std::string, region * > | NamedRegion |
typedef std::vector< NamedRegion > | Regions |
typedef std::map< int, eventcbclosure * > | EventClosures |
typedef std::set< Client * > | Connections |
typedef void(* | ThunkF) () |
typedef std::vector< ThunkF > | ThunkFs |
typedef std::map< int, const char * > | Signames |
typedef std::set< TEnvPtr > | TEnvs |
typedef std::pair< ExprPtr, PrimitivePtr > | ExprCheck |
typedef std::vector< ExprCheck > | ExprChecks |
typedef std::map< size_t, ExprPtr > | RowResults |
typedef std::map< std::string, llvm::Value * > | Args |
typedef std::map< stateidx_t, llvm::BasicBlock * > | StateBranches |
typedef variant< int, long > | IDFATransition |
typedef array< std::pair< long, IDFATransition > > | IDFATransitions |
typedef std::unordered_map< std::string, size_t > | ArgPos |
typedef std::unordered_map< size_t, size_t > | GlobalToLocalState |
typedef std::map< std::string, Patterns > | NamedPatternGroups |
typedef uint8_t | rchar_t |
typedef std::pair< rchar_t, rchar_t > | CharRange |
typedef std::vector< CharRange > | CharRanges |
typedef std::pair< size_t, std::set< rchar_t > > | DCharset |
typedef std::pair< size_t, RegexPtr > | DRegex |
typedef uint32_t | state |
typedef std::set< state > | stateset |
typedef uint32_t | result |
typedef range_map< rchar_t, stateset, char_range_ord > | ntransitions |
typedef std::map< result, str::set > | srcmarkers |
typedef std::vector< NFAState > | NFA |
typedef std::map< state, stateset > | EpsClosure |
typedef std::vector< bool > | statemarks |
typedef range_map< rchar_t, state, char_range_ord > | dtransitions |
typedef std::vector< DFAState > | DFA |
typedef std::map< stateset, state > | Nss2Ds |
typedef std::map< state, state > | EqStates |
typedef std::vector< const TClass * > | Classes |
typedef unique_refc_map< const Prim, std::string, MonoTypePtr > | PrimMem |
typedef unique_refc_map< const OpaquePtr, std::string, unsigned int, bool > | OpaquePtrMem |
typedef unique_refc_map< const TVar, std::string > | TVarMem |
typedef unique_refc_map< const TGen, int > | TGenMem |
typedef unique_refc_map< const TAbs, str::seq, MonoTypePtr > | TAbsMem |
typedef unique_refc_map< const TApp, MonoTypePtr, MonoTypes > | TAppMem |
typedef unique_refc_map< const FixedArray, MonoTypePtr, MonoTypePtr > | FixedArrayMem |
typedef unique_refc_map< const Array, MonoTypePtr > | ArrayMem |
typedef unique_refc_map< const Variant, Variant::Members > | VariantMem |
typedef unique_refc_map< const Record, Record::Members > | RecordMem |
typedef unique_refc_map< const Func, MonoTypePtr, MonoTypePtr > | FuncMem |
typedef unique_refc_map< const Exists, std::string, MonoTypePtr > | ExistsMem |
typedef unique_refc_map< const Recursive, std::string, MonoTypePtr > | RecursiveMem |
typedef unique_refc_map< const TString, std::string > | TStringMem |
typedef unique_refc_map< const TLong, long > | TLongMem |
typedef unique_refc_map< const TExpr, std::string > | TExprMem |
typedef unique_refc_maps< PrimMem, OpaquePtrMem, TVarMem, TGenMem, TAbsMem, TAppMem, FixedArrayMem, ArrayMem, VariantMem, RecordMem, FuncMem, ExistsMem, RecursiveMem, TStringMem, TLongMem, TExprMem > | MTypeCtorMaps |
typedef std::map< std::string, terminal * > | symbols |
typedef std::map< char, terminal * > | chars |
typedef std::vector< terminals > | prefixes |
typedef terminalset(* | ptsappend) (const terminalset &, const terminalset &) |
typedef clos1< parserdef, transition, terminalset > | DRT |
typedef clos2< parserdef, transition, transition, bool > | readsT |
typedef clos1< transition_lookahead, transition, terminalset > | RT |
typedef clos2< parserdef, transition, transition, bool > | includesT |
typedef std::stack< BuffOrFilenamePtr > | AnnContextStack |
Functions | |
void | compileBootCode (cc &ctx) |
void | initStorageFileDefs (FieldVerifier *, cc &) |
bool | isDBFile (const std::string &) |
bool | storedAsArray (const MonoTypePtr &) |
size_t | storageSizeOf (const MonoTypePtr &) |
void | ensureDirExists (const std::string &) |
std::string | uniqueFilename (const std::string &prefix, const std::string &suffix) |
std::string | moveToUniqueFilename (const std::string &oldpath, const std::string &fprefix, const std::string &fsuffix) |
MonoTypePtr | filerefty (const MonoTypePtr &t) |
void | initSignalsDefs (FieldVerifier *, cc &) |
template<typename T > | |
T | compileTo (cc *c, const str::seq &vns, const std::string &expr) |
llvm::Value * | toLLVM (jitcc *, const ExprPtr &exp) |
llvm::Value * | toLLVM (jitcc *e, const std::string &vname, const ExprPtr &exp) |
llvm::ConstantInt * | toLLVMConstantInt (const PrimitivePtr &) |
llvm::Constant * | toLLVMConstant (jitcc *, const std::string &, const ExprPtr &) |
void | import (cc *, const std::string &) |
void | pushModuleDir (const std::string &) |
void | popModuleDir () |
void | compile (cc *, const ModulePtr &m) |
llvm::Type * | llvmVarArrType (llvm::Type *elemty, int size=1) |
llvm::Type * | toLLVM (const MonoTypePtr &, bool asArg=false) |
Types | toLLVM (const MonoTypes &, bool asArg=false) |
bool | hasPointerRep (const MonoTypePtr &t) |
bool | hasPointerRep (const PolyTypePtr &t) |
bool | isLargeType (const MonoTypePtr &mty) |
void | initDefOperators (cc *) |
void | initStdFuncDefs (cc &ctx) |
char * | memalloc (long n) |
const array< char > * | makeString (const std::string &x) |
std::string | makeStdString (const array< char > *x) |
Values | compile (jitcc *, const Exprs &) |
Values | compileArgs (jitcc *, const Exprs &) |
void | addTimer (timerfunc f, int millisecInterval) |
void | registerEventHandler (int fd, const std::function< void(int)> &fn, bool vn=false) |
void | registerEventHandler (int fd, eventhandler f, void *ud, bool vn=false) |
void | unregisterEventHandler (int fd) |
bool | stepEventLoop () |
void | runEventLoop () |
void | runEventLoop (int microsecondDuration) |
int | installHTTPD (int port, HTTPRequestHandler, void *ud=0) |
const array< char > * | makeString (region &m, const char *s) |
const array< char > * | makeString (region &m, const std::string &s) |
const array< char > * | makeString (region &m, const char *s, size_t len) |
const array< char > * | makeString (const char *s, size_t len) |
std::ostream & | operator<< (std::ostream &out, const array< char > *x) |
template<typename T > | |
array< T > * | makeArray (region &m, long n) |
template<typename T > | |
array< T > * | makeArray (long n) |
template<typename T , typename ... Args> | |
T * | make (const Args &... args) |
void | resetMemoryPool () |
std::string | showMemoryPool () |
size_t | addThreadRegion (const std::string &, region *) |
size_t | findThreadRegion (const std::string &) |
void | removeThreadRegion (size_t) |
size_t | setThreadRegion (size_t) |
void | initNetworkDefs (cc &) |
int | lookupPort (const std::string &) |
int | allocateServer (int port) |
int | allocateServer (const std::string &port) |
int | connectSocket (const std::string &host, int port) |
int | connectSocket (const std::string &hostport) |
int | allocateFileSocketServer (const std::string &filepath) |
std::string | remoteHostname (int socket) |
int | installNetREPL (int port, Server *) |
int | installNetREPL (const std::string &, Server *) |
int | installNetREPL (int port, cc *) |
int | installNetREPL (const std::string &, cc *) |
void | spawn (const std::string &, proc *) |
void | procDefine (proc *, const std::string &, const std::string &) |
void | procEval (proc *, const std::string &) |
void | procTypeof (proc *p, const std::string &x) |
void | procTypeEnv (proc *p) |
void | procRead (proc *, std::ostream *, uint64_t waitUS=0) |
MonoTypePtr | refinedType (const proc &p, const std::string &fname, const MonoTypePtr &hasty) |
int | invocationID (const proc &p, const std::string &fname, const MonoTypePtr &hasty) |
PrepProcExpr | procPrepareExpr (const proc &, const ExprPtr &) |
void | runMachineREPL (cc *) |
MonoTypePtr | mkPidTy (long pid) |
const TLong * | pidTy (const MonoTypePtr &mty) |
ExprPtr | closureConvert (const TEnvPtr &rootTEnv, const ExprPtr &e) |
ExprPtr | closureConvert (const TEnvPtr &rootTEnv, const std::string &vn, const ExprPtr &e) |
void | typeSeqForm (const ConstraintPtr &, MonoTypes *) |
std::string | show (const Expr &e) |
std::string | show (const Expr *e) |
std::string | show (const ExprPtr &e) |
std::string | show (const Definition &d) |
std::string | showAnnotated (const Expr &e) |
std::string | showAnnotated (const Expr *e) |
std::string | showAnnotated (const ExprPtr &e) |
std::string | showAnnotated (const Definition &d) |
ExprPtr | constant (bool x, const LexicalAnnotation &la) |
ExprPtr | constant (uint8_t x, const LexicalAnnotation &la) |
ExprPtr | constant (int x, const LexicalAnnotation &la) |
ExprPtr | constant (long x, const LexicalAnnotation &la) |
ExprPtr | constant (size_t x, const LexicalAnnotation &la) |
ExprPtr | var (const std::string &vn, const LexicalAnnotation &la) |
Exprs | vars (const std::vector< std::string > &vns, const LexicalAnnotation &la) |
ExprPtr | var (const std::string &vn, const QualTypePtr &ty, const LexicalAnnotation &la) |
ExprPtr | var (const std::string &vn, const MonoTypePtr &ty, const LexicalAnnotation &la) |
ExprPtr | let (const std::string &vn, const ExprPtr &e, const ExprPtr &b, const LexicalAnnotation &la) |
ExprPtr | let (const Definitions &bs, const ExprPtr &b, const LexicalAnnotation &la) |
ExprPtr | let (const Exprs &es, const ExprPtr &b, const LexicalAnnotation &la) |
ExprPtr | mktunit (const LexicalAnnotation &la) |
ExprPtr | mkrecord (const MkRecord::FieldDefs &fds, const LexicalAnnotation &la) |
ExprPtr | mktuple (const ExprPtr &e, const LexicalAnnotation &la) |
ExprPtr | proj (const ExprPtr &rec, const Record *rty, const std::string &field, const LexicalAnnotation &la) |
ExprPtr | proj (const ExprPtr &rec, const std::string &field, const LexicalAnnotation &la) |
ExprPtr | proj (const ExprPtr &rec, const str::seq &fields, const LexicalAnnotation &la) |
Case::Bindings | caseOfBindings () |
template<typename ... Cases> | |
Case::Bindings | caseOfBindings (const char *ctor, const char *vname, const ExprPtr &e, Cases... cs) |
template<typename ... Cases> | |
ExprPtr | caseOf (const ExprPtr &e, Cases... cs) |
Constraints | liftConstraints (const Exprs &es) |
ExprPtr | fn (const str::seq &vns, const ExprPtr &b, const LexicalAnnotation &la) |
ExprPtr | fn (const std::string &vn, const ExprPtr &b, const LexicalAnnotation &la) |
ExprPtr | fncall (const ExprPtr &f, const Exprs &args, const LexicalAnnotation &la) |
ExprPtr | fncall (const ExprPtr &f, const ExprPtr &a, const LexicalAnnotation &la) |
ExprPtr | closcall (const ExprPtr &c, const Exprs &args, const LexicalAnnotation &la) |
ExprPtr | etaLift (const std::string &opname, const MonoTypePtr &oty, const LexicalAnnotation &la) |
Expr * | mkarray (const std::vector< unsigned char > &v, const LexicalAnnotation &la) |
Expr * | mkarray (const std::string &v, const LexicalAnnotation &la) |
ExprPtr | switchE (const ExprPtr &e, const Switch::Bindings &bs, const ExprPtr &def, const LexicalAnnotation &la) |
ExprPtr | assume (const ExprPtr &e, const QualTypePtr &t, const LexicalAnnotation &la) |
ExprPtr | assume (const ExprPtr &e, const MonoTypePtr &t, const LexicalAnnotation &la) |
ExprPtr | justE (const ExprPtr &e, const LexicalAnnotation &la) |
ExprPtr | nothingE (const LexicalAnnotation &la) |
ExprPtr | nothingE (const MonoTypePtr &jt, const LexicalAnnotation &la) |
ExprPtr | assign (const ExprPtr &lhs, const ExprPtr &rhs, const LexicalAnnotation &la) |
Exprs | exprs (const MkRecord::FieldDefs &ms) |
Exprs | exprs (const Case::Bindings &bs) |
ExprPtr | substitute (const VarMapping &vm, const ExprPtr &e, bool *mapped=0) |
ExprPtr | substitute (const MonoTypeSubst &s, const ExprPtr &e) |
template<typename T > | |
T | switchOf (const PrimitivePtr &p, const switchConst< T > &f) |
bool | isConst (const ExprPtr &) |
template<typename T , typename F > | |
T | switchOfF (const Expr &e, F f) |
template<typename T > | |
T | switchOf (const Expr &e, const switchExpr< T > &f) |
template<typename T > | |
T | switchOf (const ExprPtr &e, const switchExpr< T > &f) |
template<typename T > | |
T | switchOf (const ExprPtr &e, const switchExprM< T > &f) |
template<typename T > | |
std::vector< T > | switchOf (const Exprs &es, const switchExpr< T > &f) |
template<typename T > | |
std::vector< T > | switchOf (const Exprs &es, const switchExprM< T > &f) |
template<typename K , typename T > | |
std::vector< std::pair< K, T > > | switchOf (const std::vector< std::pair< K, ExprPtr > > &kes, const switchExpr< T > &f) |
template<typename K , typename T > | |
std::vector< std::pair< K, T > > | switchOf (const std::vector< std::pair< K, ExprPtr > > &kes, const switchExprM< T > &f) |
Case::Bindings | switchOf (const Case::Bindings &bs, const switchExpr< ExprPtr > &f) |
const MonoTypePtr & | requireMonotype (const ExprPtr &) |
MonoTypes | requireMonotype (const Exprs &) |
ExprPtr | liftTypesAsAssumptions (const ExprPtr &e) |
ExprPtr | stripExplicitAssumptions (const ExprPtr &) |
const ExprPtr & | stripAssumpHead (const ExprPtr &) |
VarSet | freeVars (const ExprPtr &) |
VarSet | freeVars (const Expr &) |
NameSet | tvarNames (const ExprPtr &) |
ExprPtr | desugarComprehension (const ExprPtr &ex, const ComprehensionDefs &cdefs, const LexicalAnnotation &la) |
ExprPtr | mkFormatExpr (const std::string &fmt, const LexicalAnnotation &) |
PrimitivePtr | mkTimespanPrim (const str::seq &, const LexicalAnnotation &) |
ExprPtr | mkTimespanExpr (const str::seq &, const LexicalAnnotation &) |
PrimitivePtr | mkTimePrim (const std::string &, const LexicalAnnotation &) |
ExprPtr | mkTimeExpr (const std::string &, const LexicalAnnotation &) |
ExprPtr | mkDateTimeExpr (const std::string &, const LexicalAnnotation &) |
PrimitivePtr | mkDateTimePrim (const std::string &, const LexicalAnnotation &) |
void | encode (const PrimitivePtr &, std::ostream &) |
void | decode (PrimitivePtr *, std::istream &) |
void | encode (const ExprPtr &, std::ostream &) |
void | decode (ExprPtr *, std::istream &) |
void | encode (const ExprPtr &, std::vector< uint8_t > *) |
void | decode (const std::vector< uint8_t > &, ExprPtr *) |
bool | hasSingularType (const ExprPtr &) |
int | tgenSize (const ExprPtr &) |
void | initMacroEnvironment (const TEnvPtr &tenv) |
ExprPtr | macroExpand (const ExprPtr &e) |
MVarDefs | substitute (const MonoTypeSubst &, const MVarDefs &) |
std::string | show (const Module &m) |
std::string | show (const Module *m) |
std::string | show (const ModulePtr &m) |
std::string | show (const MTypeDef *) |
std::string | show (const ClassDef &cd) |
std::string | show (const ClassDef *cd) |
std::string | show (const InstanceDef &id) |
std::string | show (const InstanceDef *id) |
std::string | show (const ModuleDefPtr &md) |
std::string | show (const CFunDepDef &fundep) |
std::string | show (const CFunDepDefs &fundeps) |
template<typename T > | |
T | switchOf (const MState &s, const switchMState< T > &f) |
template<typename T > | |
T | switchOf (const MStatePtr &s, const switchMState< T > &f) |
stateidx_t | makeDFA (MDFA *, const PatternRows &, const LexicalAnnotation &) |
stateidx_t | makeDFAState (MDFA *dfa, const PatternRows &ps) |
ExprPtr | liftDFAExpr (cc *, const PatternRows &, const LexicalAnnotation &) |
bool | operator== (const PatternRow &, const PatternRow &) |
size_t | hash (const PatternRow &) |
ExprPtr | compileMatch (cc *, const Exprs &, const PatternRows &, const LexicalAnnotation &) |
ExprPtr | compileMatchTest (cc *, const ExprPtr &, const PatternPtr &, const LexicalAnnotation &) |
std::string | show (const PatternPtr &p) |
std::string | show (const Patterns &ps) |
std::string | show (const PatternRow &pr) |
template<typename T > | |
T | switchOf (const PatternPtr &p, const switchPattern< T > &f) |
template<typename T > | |
std::vector< T > | switchOf (const Patterns &ps, const switchPattern< T > &f) |
MatchArray * | mkpatarray (const std::vector< unsigned char > &bs, const LexicalAnnotation &la) |
MatchArray * | mkpatarray (const std::string &cs, const LexicalAnnotation &la) |
bool | refutable (const PatternPtr &) |
bool | isUnitPat (const PatternPtr &) |
void | printMatchResult (std::ostream &, const ExprPtr &) |
void | printMatchTable (std::ostream &, const PatternRows &) |
RegexPtr | parseRegex (const std::string &) |
str::seq | bindingNames (const RegexPtr &) |
CRegexes | makeRegexFn (cc *, const Regexes &, const LexicalAnnotation &) |
CVarDefs | unpackCaptureVars (const std::string &strVar, const std::string &bufferVar, const CRegexes &, size_t state, const LexicalAnnotation &) |
bool | dec (const ConstraintPtr &, AppendsTo *) |
FunDeps | inferFundeps (const TEnvPtr &tenv, const Constraints &cs) |
FunDeps | mergeFundeps (const FunDeps &lhs, const FunDeps &rhs) |
bool | isClassSatisfied (const TEnvPtr &, const std::string &, const MonoTypes &, Definitions *) |
bool | isClassSatisfiable (const TEnvPtr &, const std::string &, const MonoTypes &, Definitions *) |
ExprPtr | unqualifyClass (const TEnvPtr &, const std::string &, const MonoTypes &, const ExprPtr &, Definitions *) |
void | definePrivateClass (const TEnvPtr &tenv, const std::string &memberName, const ExprPtr &expr) |
bool | isClassMember (const TEnvPtr &tenv, const std::string &memberName) |
Constraints | expandHiddenTCs (const TEnvPtr &, const Constraints &) |
void | serializeGroundClasses (const TEnvPtr &, std::ostream &) |
void | deserializeGroundClasses (const TEnvPtr &, std::istream &, Definitions *) |
std::string | show (const TClassPtr &) |
std::string | show (const TCInstancePtr &) |
std::string | show (const TCInstanceFnPtr &) |
bool | dec (const ConstraintPtr &, HasField *) |
void | upd (const ConstraintPtr &, const HasField &) |
void | initStrPredicates (const TEnvPtr &) |
std::string | show (const PtrAdjustmentPath &p) |
bool | dec (const ConstraintPtr &, Subtype *) |
template<typename T > | |
const T * | begin (const array< T > *d) |
template<typename T > | |
const T * | end (const array< T > *d) |
template<typename T > | |
T * | begin (array< T > *d) |
template<typename T > | |
T * | end (array< T > *d) |
template<typename T > | |
const T * | begin (const array< T > &d) |
template<typename T > | |
const T * | end (const array< T > &d) |
template<typename T > | |
T * | begin (array< T > &d) |
template<typename T > | |
T * | end (array< T > &d) |
HOBBES_LIFT_PRIMITIVE (void, unit) | |
HOBBES_LIFT_PRIMITIVE (unit, unit) | |
HOBBES_LIFT_PRIMITIVE (bool, bool) | |
HOBBES_LIFT_PRIMITIVE (char, char) | |
HOBBES_LIFT_PRIMITIVE (unsigned char, byte) | |
HOBBES_LIFT_PRIMITIVE (short, short) | |
HOBBES_LIFT_PRIMITIVE (unsigned short, short) | |
HOBBES_LIFT_PRIMITIVE (int, int) | |
HOBBES_LIFT_PRIMITIVE (unsigned int, int) | |
HOBBES_LIFT_PRIMITIVE (long, long) | |
HOBBES_LIFT_PRIMITIVE (unsigned long, long) | |
HOBBES_LIFT_PRIMITIVE (float, float) | |
HOBBES_LIFT_PRIMITIVE (double, double) | |
template<typename T > | |
MonoTypePtr | prim () |
std::ostream & | operator<< (std::ostream &out, const MonoTypePtr &t) |
TEnvPtr | fnFrame (const TEnvPtr &, const str::seq &, const MonoTypes &) |
TEnvPtr | bindFrame (const TEnvPtr &, const std::string &, const MonoTypePtr &) |
TEnvPtr | bindFrame (const TEnvPtr &, const std::string &, const QualTypePtr &) |
MonoTypeSubst | substitution (const str::seq &ns, const MonoTypes &ts) |
bool | satisfied (const UnqualifierPtr &, const TEnvPtr &, const ConstraintPtr &, std::vector< std::pair< std::string, std::shared_ptr< Expr > > > *) |
bool | satisfied (const TEnvPtr &tenv, const ConstraintPtr &c, std::vector< std::pair< std::string, std::shared_ptr< Expr > > > *) |
bool | satisfied (const TEnvPtr &tenv, const Constraints &cs, std::vector< std::pair< std::string, std::shared_ptr< Expr > > > *) |
bool | satisfiable (const UnqualifierPtr &, const TEnvPtr &, const ConstraintPtr &, std::vector< std::pair< std::string, std::shared_ptr< Expr > > > *) |
bool | satisfiable (const TEnvPtr &tenv, const ConstraintPtr &c, std::vector< std::pair< std::string, std::shared_ptr< Expr > > > *) |
bool | satisfiable (const TEnvPtr &tenv, const Constraints &cs, std::vector< std::pair< std::string, std::shared_ptr< Expr > > > *) |
std::ostream & | operator<< (std::ostream &out, const PolyTypePtr &t) |
std::ostream & | operator<< (std::ostream &out, const QualTypePtr &t) |
std::ostream & | operator<< (std::ostream &out, const ConstraintPtr &t) |
MonoTypePtr | normIfOpaquePtr (const MonoTypePtr &ty) |
unsigned int | alignment (const MonoTypePtr &) |
MonoTypePtr | unpackedType (const Exists *e) |
MonoTypePtr | unpackedType (const MonoTypePtr &mty) |
QualTypePtr | unpackedType (const QualTypePtr &qty) |
std::string | show (const PolyType &e) |
std::string | show (const PolyType *e) |
std::string | show (const PolyTypePtr &e) |
std::string | show (const QualType &e) |
std::string | show (const QualType *e) |
std::string | show (const QualTypePtr &e) |
std::string | show (const Constraint &e) |
std::string | show (const Constraint *e) |
std::string | show (const ConstraintPtr &e) |
std::string | show (const MonoType &e) |
std::string | show (const MonoType *e) |
std::string | show (const MonoTypePtr &e) |
str::seq | showNoSimpl (const MonoTypes &) |
str::seq | showNoSimpl (const Constraints &) |
std::string | showNoSimpl (const PolyType &e) |
std::string | showNoSimpl (const PolyType *e) |
std::string | showNoSimpl (const PolyTypePtr &e) |
std::string | showNoSimpl (const QualType &e) |
std::string | showNoSimpl (const QualType *e) |
std::string | showNoSimpl (const QualTypePtr &e) |
std::string | showNoSimpl (const Constraint &e) |
std::string | showNoSimpl (const Constraint *e) |
std::string | showNoSimpl (const ConstraintPtr &e) |
std::string | showNoSimpl (const MonoType &e) |
std::string | showNoSimpl (const MonoType *e) |
std::string | showNoSimpl (const MonoTypePtr &e) |
template<typename T , typename Ptr , typename PtrC , typename F > | |
T | switchOfF (Ptr ty, F f) |
template<typename T > | |
T | switchOf (const MonoType &ty, const switchType< T > &f) |
template<typename T > | |
T | switchOf (const MonoTypePtr &ty, const switchType< T > &f) |
template<typename T > | |
std::vector< T > | switchOf (const MonoTypes &ts, const switchType< T > &f) |
template<typename T > | |
T | switchOf (const MonoTypes &ts, T s, T(*appendF)(T, T), const switchType< T > &f) |
template<typename K , typename T > | |
std::vector< std::pair< K, T > > | switchOf (const std::vector< std::pair< K, MonoTypePtr > > &kts, const switchType< T > &f) |
template<typename T > | |
Variant::Members | switchOf (const Variant::Members &ms, const switchType< T > &f) |
template<typename T > | |
Record::Members | switchOf (const Record::Members &ms, const switchType< T > &f) |
MonoTypes | selectTypes (const Variant::Members &ms) |
str::seq | selectNames (const Variant::Members &ms) |
MonoTypePtr | clone (const MonoTypePtr &) |
MonoTypePtr | clone (const MonoType *) |
MonoTypePtr | clone (const MonoType &) |
QualTypePtr | cloneP (const QualTypePtr &p) |
MonoTypePtr | cloneP (const MonoTypePtr &p) |
QualTypePtr | lookupFieldType (const QualTypePtr &qt, const std::string &fieldName) |
MonoTypePtr | lookupFieldType (const MonoTypePtr &mt, const std::string &fieldName) |
Constraints | mergeConstraints (const Constraints &lhs, const Constraints &rhs) |
void | mergeConstraints (const Constraints &fcs, Constraints *tcs) |
MonoTypes | tgens (int vs) |
int | tgenSize (const MonoTypePtr &mt) |
int | tgenSize (const MonoTypes &mts) |
int | tgenSize (const Constraints &cs) |
int | tgenSize (const ConstraintPtr &c) |
int | tgenSize (const QualTypePtr &qt) |
TGenVarSet | tgenVars (const MonoTypePtr &) |
TVName | canonicalName (int v) |
MonoTypeSubst | canonicalNameSubst (const NameSet &ns) |
TVName | freshName () |
Names | freshNames (int vs) |
MonoTypePtr | freshTypeVar () |
MonoTypes | freshTypeVars (int vs) |
MonoTypes | typeVars (const Names &ns) |
MonoTypes | freshen (const MonoTypes &) |
ConstraintPtr | freshen (const ConstraintPtr &) |
Constraints | freshen (const Constraints &cs) |
QualTypePtr | instantiate (int vs, const QualTypePtr &scheme) |
Constraints | instantiate (int vs, const Constraints &cs) |
ConstraintPtr | instantiate (int vs, const ConstraintPtr &c) |
MonoTypePtr | instantiate (int vs, const MonoTypePtr &mt) |
MonoTypes | instantiate (int vs, const MonoTypes &ts) |
QualTypePtr | instantiate (const Names &ns, const QualTypePtr &scheme) |
Constraints | instantiate (const Names &ns, const Constraints &cs) |
ConstraintPtr | instantiate (const Names &ns, const ConstraintPtr &c) |
MonoTypePtr | instantiate (const Names &ns, const MonoTypePtr &mt) |
MonoTypes | instantiate (const Names &ns, const MonoTypes &ts) |
QualTypePtr | instantiate (const MonoTypes &ts, const QualTypePtr &scheme) |
Constraints | instantiate (const MonoTypes &ts, const Constraints &cs) |
ConstraintPtr | instantiate (const MonoTypes &ts, const ConstraintPtr &c) |
MonoTypePtr | instantiate (const MonoTypes &ts, const MonoTypePtr &mt) |
MonoTypes | instantiate (const MonoTypes &ts, const MonoTypes &sts) |
NameSet | tvarNames (const QualTypePtr &qt) |
NameSet | tvarNames (const Constraints &cs) |
NameSet | tvarNames (const ConstraintPtr &c) |
NameSet | tvarNames (const MonoTypePtr &mt) |
NameSet | tvarNames (const MonoType &mt) |
NameSet | tvarNames (const MonoTypes &mts) |
void | tvarNames (const QualTypePtr &qt, NameSet *out) |
void | tvarNames (const Constraints &cs, NameSet *out) |
void | tvarNames (const ConstraintPtr &c, NameSet *out) |
void | tvarNames (const MonoTypePtr &mt, NameSet *out) |
void | tvarNames (const MonoType &mt, NameSet *out) |
void | tvarNames (const MonoTypes &mts, NameSet *out) |
bool | isFreeVarNameIn (const TVName &, const MonoTypePtr &) |
bool | isFreeVarNameIn (const TVName &, const MonoTypes &) |
bool | hasFreeVariables (const QualTypePtr &) |
bool | hasFreeVariables (const Constraints &) |
bool | hasFreeVariables (const ConstraintPtr &) |
bool | hasFreeVariables (const MonoTypePtr &) |
bool | hasFreeVariables (const MonoTypes &) |
void | show (const MonoTypeSubst &s, std::ostream &out) |
std::string | show (const MonoTypeSubst &s) |
QualTypePtr | substitute (const MonoTypeSubst &s, const QualTypePtr &qt) |
Constraints | substitute (const MonoTypeSubst &s, const Constraints &cs) |
ConstraintPtr | substitute (const MonoTypeSubst &s, const ConstraintPtr &p) |
MonoTypePtr | substitute (const MonoTypeSubst &s, const MonoType &mt) |
MonoTypePtr | substitute (const MonoTypeSubst &s, const MonoTypePtr &mt) |
MonoTypes | substitute (const MonoTypeSubst &s, const MonoTypes &ts) |
MonoTypePtr | substituteStep (const MonoTypeSubst &s, const MonoTypePtr &mt) |
PolyTypePtr | generalize (const QualTypePtr &qt) |
QualTypePtr | simplifyVarNames (const PolyType &) |
QualTypePtr | simplifyVarNames (const PolyTypePtr &) |
ConstraintPtr | simplifyVarNames (const Constraint &) |
ConstraintPtr | simplifyVarNames (const ConstraintPtr &) |
QualTypePtr | simplifyVarNames (const QualType &) |
QualTypePtr | simplifyVarNames (const QualTypePtr &) |
MonoTypePtr | simplifyVarNames (const MonoType &) |
MonoTypePtr | simplifyVarNames (const MonoTypePtr &) |
MonoTypes | simplifyVarNames (const MonoTypes &mts) |
MonoTypePtr | primty (const char *x) |
MonoTypePtr | primty (const char *x, const MonoTypePtr &aty) |
QualTypePtr | qualtype (const Constraints &cs, const MonoTypePtr &p) |
QualTypePtr | qualtype (const Constraints &cs, MonoType *mt) |
QualTypePtr | qualtype (const MonoTypePtr &p) |
QualTypePtr | qualtype (MonoType *mt) |
QualTypePtr | qualtype (const char *x) |
PolyTypePtr | polytype (int tvs, const QualTypePtr &qt) |
PolyTypePtr | polytype (const QualTypePtr &qt) |
PolyTypePtr | polytype (const MonoTypePtr &p) |
PolyTypePtr | polytype (MonoType *mt) |
PolyTypePtr | polytype (const char *x) |
MonoTypePtr | tgen (int i) |
MonoTypePtr | tvar (const std::string &vn) |
MonoTypePtr | tstring (const std::string &x) |
MonoTypePtr | tuple (const MonoTypes &mtys=MonoTypes()) |
MonoTypePtr | sumtype (const MonoTypePtr &t0, const MonoTypePtr &t1) |
MonoTypePtr | maybety (const MonoTypePtr &t) |
MonoTypePtr | isMaybe (const MonoTypePtr &t) |
MonoTypePtr | tstrings (const std::vector< std::string > &xs) |
MonoTypePtr | functy (const MonoTypePtr &aty, const MonoTypePtr &rty) |
MonoTypePtr | functy (const MonoTypes &atys, const MonoTypePtr &rty) |
MonoTypePtr | closty (const MonoTypePtr &aty, const MonoTypePtr &rty) |
MonoTypePtr | closty (const MonoTypes &atys, const MonoTypePtr &rty) |
MonoTypePtr | tabs (const str::seq &tns, const MonoTypePtr &body) |
MonoTypePtr | tapp (const MonoTypePtr &f, const MonoTypes &args) |
MonoTypePtr | tlong (long x) |
MonoTypePtr | texpr (const ExprPtr &x) |
bool | isMonoSingular (const MonoType &) |
bool | isMonoSingular (const MonoType *) |
bool | isMonoSingular (const MonoTypePtr &) |
bool | isMonoSingular (const QualTypePtr &) |
bool | isMonotype (const QualTypePtr &qt) |
bool | isMonotype (const PolyTypePtr &pt) |
MonoTypePtr | requireMonotype (const QualTypePtr &qt) |
MonoTypePtr | requireMonotype (const PolyTypePtr &pt) |
MonoTypes | requireMonotype (const PolyTypes &pts) |
MonoTypePtr | arrayty (const MonoTypePtr &ty, size_t n) |
MonoTypePtr | arrayty (const MonoTypePtr &ty) |
template<typename T > | |
MonoTypePtr | opaqueptr (bool insertcontig) |
bool | isVoid (const MonoTypePtr &t) |
unsigned int | sizeOf (const MonoTypePtr &mt) |
bool | isUnit (const MonoTypePtr &t) |
bool | isPrimName (const std::string &tn) |
MonoTypePtr | unroll (const MonoTypePtr &) |
void | encode (const QualTypePtr &, std::ostream &) |
void | encode (const MonoTypePtr &, std::ostream &) |
void | decode (QualTypePtr *, std::istream &) |
void | decode (MonoTypePtr *, std::istream &) |
void | encode (const QualTypePtr &, std::vector< unsigned char > *) |
void | encode (const MonoTypePtr &, std::vector< unsigned char > *) |
MonoTypePtr | decode (const std::vector< unsigned char > &in) |
MonoTypePtr | decode (const unsigned char *b, const unsigned char *e) |
MonoTypePtr | unalias (const MonoTypePtr &) |
template<typename ... Xs> | |
MonoTypePtr | makeRecordType (Xs ... xs) |
MonoTypePtr | fnresult (const MonoTypePtr &fty) |
void | compactMTypeMemory () |
MonoTypePtr | substitute (MonoTypeUnifier *, const MonoTypePtr &) |
MonoTypes | substitute (MonoTypeUnifier *, const MonoTypes &) |
ConstraintPtr | substitute (MonoTypeUnifier *, const ConstraintPtr &) |
Constraints | substitute (MonoTypeUnifier *, const Constraints &) |
QualTypePtr | substitute (MonoTypeUnifier *, const QualTypePtr &) |
ExprPtr | substitute (MonoTypeUnifier *, const ExprPtr &) |
bool | unifiable (const TEnvPtr &, const MonoTypePtr &, const MonoTypePtr &) |
bool | unifiable (const TEnvPtr &, const MonoTypes &, const MonoTypes &) |
bool | unifiable (const TEnvPtr &, const ConstraintPtr &, const ConstraintPtr &) |
bool | refine (const TEnvPtr &tenv, const ConstraintPtr &c, MonoTypeUnifier *s, Definitions *) |
bool | refine (const TEnvPtr &tenv, const Constraints &cs, MonoTypeUnifier *s, Definitions *) |
ExprPtr | validateType (const TEnvPtr &tenv, const ExprPtr &e, Definitions *) |
ExprPtr | validateType (const TEnvPtr &tenv, const std::string &vname, const ExprPtr &e, Definitions *) |
void | mgu (const ExprPtr &, const ExprPtr &, MonoTypeUnifier *) |
void | mgu (const ExprPtr &, const QualTypePtr &, MonoTypeUnifier *) |
void | mgu (const ExprPtr &, const MonoTypePtr &, MonoTypeUnifier *) |
void | mgu (const QualTypePtr &t0, const QualTypePtr &t1, MonoTypeUnifier *u) |
void | mgu (const MonoTypePtr &t0, const MonoTypePtr &t1, MonoTypeUnifier *u) |
void | mgu (const MonoTypes &ts0, const MonoTypes &ts1, MonoTypeUnifier *u) |
void | mgu (const ConstraintPtr &, const ConstraintPtr &, MonoTypeUnifier *) |
QualLiftedMonoTypes | liftQualifiers (const QualTypes &qts) |
bool | hasConstraint (const ConstraintPtr &c, const Constraints &cs) |
bool | hasConstraint (const ConstraintPtr &c, const QualTypePtr &qt) |
Constraints | removeConstraint (const ConstraintPtr &c, const Constraints &cs) |
QualTypePtr | removeConstraint (const ConstraintPtr &c, const QualTypePtr &qt) |
ExprPtr | unqualifyTypes (const TEnvPtr &tenv, const ExprPtr &e, Definitions *ds) |
template<typename T > | |
std::string | show (const T *t) |
template<typename T > | |
std::string | show (const std::vector< T *> &ts) |
ldblines | load (const linedb::ptr &ldb, const linedb::LineCol &i, const linedb::LineCol &f) |
template<typename K , typename V > | |
V | mapLookup (const std::map< K, V > &m, const K &k) |
template<typename T > | |
T | switchOf (const GrammarValuePtr &p, const switchGrammarValue< T > &f) |
ExprPtr | makeParser (cc *, const Grammar &, const LexicalAnnotation &) |
void | removeRuleDefs (terminal *s, grammar *g) |
void | removeRuleRefs (terminal *s, grammar *g) |
void | undefineSymbol (terminal *s, grammar *g) |
grammar | removeRuleDefs (terminal *s, const grammar &g) |
grammar | removeRuleRefs (terminal *s, const grammar &g) |
grammar | undefineSymbol (terminal *s, const grammar &g) |
terminalset | definedSymbols (const grammar &g) |
terminalset | topLevelSymbols (const grammar &g) |
void | symbolsUsed (const grammar &g, const rule &r, terminalset *ss) |
void | symbolsUsed (const grammar &g, const rules &rs, terminalset *ss) |
void | symbolsUsed (const grammar &g, terminal *s, terminalset *ss) |
terminalset | symbolsUsed (const grammar &g, terminal *s) |
terminalset | symbolsUsing (const grammar &g, terminal *s) |
bool | hasRule (const grammar &g, terminal *t) |
bool | directlyDerivesNull (const rule &r) |
bool | directlyDerivesNull (const grammar &g, terminal *s) |
bool | derivesNull (const terminalset &nullAggs, const rule &r) |
bool | derivesNull (const grammar &g, const terminalset &nullAggs, terminal *s) |
bool | derivesNull (const grammar &g, const terminalset &nullAggs, const terminals &ss) |
bool | derivesNull (const parserdef &p, terminal *s) |
terminalset | symbolsDerivingNull (const grammar &g) |
item | succ (const item &i) |
terminal * | next (const grammar &g, const item &i) |
terminalset | next (const grammar &g, const itemset &is) |
terminalset | nextPrim (const grammar &g, const itemset &is) |
itemset | follow (const grammar &g, const itemset &is, terminal *v) |
itemsets | follow (const grammar &g, const itemset &is, const terminals &vs) |
itemset | closure (const grammar &g, const itemset &is) |
void | closure (const grammar &g, itemset *is) |
nat | parserState (const itemset &s, parserdef *p) |
state_transitions | follow (const grammar &g, const itemset &is, const terminalset &vs, parserdef *p) |
parserdef | lr0parser (const grammar &g, terminal *s) |
nat | follow (const parserdef &p, nat q, terminal *t) |
transitionset | transitions (const parserdef &p) |
bool | lookback (const parserdef &p, nat q, terminal *r, const rule &w, const transition &t) |
bool | includes (const parserdef &p, const transition &x, const transition &y) |
bool | reads (const parserdef &p, const transition &x, const transition &y) |
terminalset | directReads (const parserdef &p, const transition &x) |
transition_lookahead | Reads (const parserdef &p, const transitionset &ts) |
transition_lookahead | Follow (const parserdef &p, const transitionset &ts) |
parserdef | lalr1parser (const grammar &g, terminal *s) |
std::ostream & | operator<< (std::ostream &out, const action &act) |
lrtable | lalrTable (const parserdef &pd, const precedence &p=precedence()) |
lrtable | lalrTable (const grammar &g, terminal *s, const precedence &p=precedence()) |
void | show (std::ostream &, const lrtable &) |
ExprPtr | makeParser (cc *, const Parser &, const precedence &prec, const LexicalAnnotation &) |
ExprPtr | makeParser (cc *, const Parser &, terminal *root, const precedence &prec, const LexicalAnnotation &) |
void | show (std::ostream &, const Parser &) |
ModulePtr | defReadModuleFile (cc *, const std::string &) |
ModulePtr | defReadModule (cc *, const char *) |
ModulePtr | defReadModule (cc *, const std::string &) |
ExprDefn | defReadExprDefn (cc *, const std::string &) |
ExprPtr | defReadExpr (cc *, const std::string &) |
Expr * | defVarCtor (const std::string &, const LexicalAnnotation &) |
Pattern * | defPatVarCtor (const std::string &, const LexicalAnnotation &) |
void | overrideVarCtor (VarCtorFn) |
void | overridePatVarCtor (PatVarCtorFn) |
template<typename T > | |
std::vector< T > | list () |
template<typename T , typename ... Ts> | |
std::vector< T > | list (const T &x, const Ts &... xs) |
template<typename T > | |
std::vector< T > | range (const T &i, const T &e) |
template<typename T > | |
bool | in (T x, const std::set< T > &xs) |
template<typename T > | |
bool | in (T x, const std::vector< T > &xs) |
template<typename T > | |
int | index (const std::vector< T > &xs, T x) |
template<typename T > | |
std::vector< int > | index (const std::vector< T > &xs, const std::vector< T > &lxs) |
template<typename T , typename I > | |
T | select (const std::vector< T > &xs, I i) |
template<typename T , typename I > | |
std::vector< T > | select (const std::vector< T > &xs, I b, I e) |
template<typename T , typename I > | |
std::vector< T > | select (const std::vector< T > &xs, const std::vector< I > &is) |
template<typename K , typename V > | |
std::pair< K, V > | select (const std::map< K, V > &m, K k) |
template<typename K , typename V > | |
std::vector< std::pair< K, V > > | select (const std::map< K, V > &m, const std::vector< K > &ks) |
template<typename K , typename V > | |
std::map< K, V > | drop (const std::map< K, V > &m, const std::set< K > &ks) |
template<typename T > | |
std::vector< T > | toVector (const std::set< T > &xs) |
template<typename CT > | |
std::set< typename CT::value_type > | toSet (const CT &xs) |
template<typename CT > | |
CT | fromSet (const std::set< typename CT::value_type > &xs) |
template<typename T > | |
std::set< T > | setUnion (const std::set< T > &lhs, const std::set< T > &rhs) |
template<typename T > | |
std::set< T > | setUnion (const std::vector< std::set< T > > &ss) |
template<typename T > | |
std::set< T > | setDifference (const std::set< T > &lhs, const std::set< T > &rhs) |
template<typename T > | |
std::set< T > | setDifference (const std::set< T > &lhs, const T &x) |
template<typename K , typename V > | |
std::set< K > | keys (const std::map< K, V > &m) |
template<typename L , typename R > | |
std::vector< L > | first (const std::vector< std::pair< L, R > > &xs) |
template<typename K , typename V > | |
std::vector< V > | values (const std::map< K, V > &m) |
template<typename L , typename R > | |
std::vector< R > | second (const std::vector< std::pair< L, R > > &xs) |
template<typename L , typename R > | |
std::pair< std::vector< L >, std::vector< R > > | unzip (const std::vector< std::pair< L, R > > &ps) |
template<typename L , typename R > | |
std::vector< std::pair< L, R > > | zip (const std::vector< L > &left, const std::vector< R > &right) |
template<typename T > | |
std::vector< T > | take (const std::vector< T > &xs, size_t n) |
template<typename T > | |
std::vector< T > | drop (const std::vector< T > &xs, size_t n) |
template<typename T > | |
std::vector< std::string > | show (const std::vector< T > &xs) |
template<typename CT , typename CCT > | |
CT | concat (const CCT &cs) |
template<typename T > | |
std::vector< T > | cons (T h, std::vector< T > t) |
template<typename T > | |
void | append (std::vector< T > *xs, const std::vector< T > &ys) |
template<typename T > | |
std::vector< T > | append (const std::vector< T > &xs, T x) |
template<typename T > | |
std::vector< T > | append (const std::vector< T > &xs, const std::vector< T > &ys) |
std::ostream & | operator<< (std::ostream &out, const bit_table &bt) |
template<typename T > | |
T * | autorelease (T *x) |
PRIM_CODEC (bool) | |
PRIM_CODEC (unsigned char) | |
PRIM_CODEC (char) | |
PRIM_CODEC (short) | |
PRIM_CODEC (int) | |
PRIM_CODEC (long) | |
PRIM_CODEC (size_t) | |
PRIM_CODEC (float) | |
PRIM_CODEC (double) | |
void | encode (const std::string &x, std::ostream &out) |
void | decode (std::string *x, std::istream &in) |
template<typename T > | |
void | encode (const std::vector< T > &xs, std::ostream &out) |
template<typename T > | |
void | decode (std::vector< T > *xs, std::istream &in) |
template<typename U , typename V > | |
void | encode (const std::pair< U, V > &p, std::ostream &out) |
template<typename U , typename V > | |
void | decode (std::pair< U, V > *p, std::istream &in) |
template<typename K , typename V > | |
void | encode (const std::map< K, V > &m, std::ostream &out) |
template<typename K , typename V > | |
void | decode (std::map< K, V > *m, std::istream &in) |
void | fdread (int fd, char *x, size_t len) |
void | fdread (int fd, unsigned char *x, size_t len) |
void | fdread (int fd, char *x) |
void | fdread (int fd, uint8_t *x) |
void | fdread (int fd, int *x) |
void | fdread (int fd, uint32_t *x) |
void | fdread (int fd, size_t *x) |
void | fdread (int fd, std::string *x) |
template<typename T > | |
void | fdread (int fd, std::vector< T > *xs) |
void | fdwrite (int fd, const char *x, size_t len) |
void | fdwrite (int fd, const unsigned char *x, size_t len) |
void | fdwrite (int fd, char x) |
void | fdwrite (int fd, uint8_t x) |
void | fdwrite (int fd, int x) |
void | fdwrite (int fd, uint32_t x) |
void | fdwrite (int fd, size_t x) |
void | fdwrite (int fd, const std::string &x) |
template<typename T > | |
void | fdwrite (int fd, const std::vector< T > &xs) |
bool | unmarkBadFD (int fd) |
template<typename T > | |
void | hashAppend (std::size_t &seed, const T &x) |
template<std::size_t i, typename ... Ts> | |
std::enable_if< i==sizeof...(Ts), void >::type | hashTuple (std::size_t *, const std::tuple< Ts... > &) |
llvm::LLVMContext & | context () |
llvm::Type * | voidType () |
llvm::Type * | boolType () |
llvm::Type * | charType () |
llvm::Type * | byteType () |
llvm::Type * | shortType () |
llvm::Type * | intType () |
llvm::Type * | longType () |
llvm::Type * | floatType () |
llvm::Type * | doubleType () |
llvm::PointerType * | ptrType (llvm::Type *ty) |
llvm::ArrayType * | arrayType (llvm::Type *ty, size_t sz) |
llvm::StructType * | packedRecordType (const Types &tys) |
llvm::StructType * | recordType (const Types &tys) |
llvm::StructType * | recordType (llvm::Type *t0) |
llvm::StructType * | recordType (llvm::Type *t0, llvm::Type *t1) |
llvm::StructType * | recordType (llvm::Type *t0, llvm::Type *t1, llvm::Type *t2) |
llvm::StructType * | recordType (llvm::Type *t0, llvm::Type *t1, llvm::Type *t2, llvm::Type *t3) |
llvm::StructType * | recordType (llvm::Type *t0, llvm::Type *t1, llvm::Type *t2, llvm::Type *t3, llvm::Type *t4) |
llvm::StructType * | recordType (llvm::Type *t0, llvm::Type *t1, llvm::Type *t2, llvm::Type *t3, llvm::Type *t4, llvm::Type *t5) |
llvm::StructType * | recordType (llvm::Type *t0, llvm::Type *t1, llvm::Type *t2, llvm::Type *t3, llvm::Type *t4, llvm::Type *t5, llvm::Type *t6) |
llvm::FunctionType * | functionType (const Types &argTys, llvm::Type *rty) |
llvm::StructType * | varArrayType (llvm::Type *elemty, size_t sz=1) |
llvm::Value * | cast (llvm::IRBuilder<> *b, llvm::Type *ty, llvm::Value *v) |
llvm::Constant * | ccast (llvm::Type *ty, llvm::Constant *v) |
llvm::Constant * | cvalue (bool x) |
llvm::Constant * | cvalue (char x) |
llvm::Constant * | cvalue (unsigned char x) |
llvm::Constant * | cvalue (short x) |
llvm::Constant * | cvalue (int x) |
llvm::Constant * | cvalue (unsigned int x) |
llvm::Constant * | cvalue (long x) |
llvm::Constant * | cvalue (float x) |
llvm::Constant * | cvalue (double x) |
llvm::ConstantInt * | civalue (bool x) |
llvm::ConstantInt * | civalue (char x) |
llvm::ConstantInt * | civalue (unsigned char x) |
llvm::ConstantInt * | civalue (short x) |
llvm::ConstantInt * | civalue (int x) |
llvm::ConstantInt * | civalue (unsigned int x) |
llvm::ConstantInt * | civalue (long x) |
llvm::GlobalVariable * | prepgv (llvm::GlobalVariable *gv, unsigned int align=sizeof(void *)) |
llvm::Constant * | constant (llvm::Value *v, bool globalPtrRefs) |
llvm::Constant * | liftAsGlobalRef (llvm::Module *m, llvm::Constant *c) |
Constants | varArrayConstants (const Values &vs, bool globalPtrRefs) |
Constants | liftAsGlobalRefs (llvm::Module *m, const Constants &cs) |
llvm::Constant * | constArray (llvm::Module *m, const Constants &cs, llvm::Type *elemTy, bool boxAsGlobalRefs=false) |
llvm::Value * | tryMkConstVarArray (llvm::IRBuilder<> *b, llvm::Module *m, llvm::Type *elemTy, const Values &vs, bool globalPtrRefs) |
llvm::Constant * | padding (unsigned int len) |
Constants | mergePadding (const Constants &cs, const Record::Members &ms) |
Types | types (const Constants &cs) |
Constants | recordUZConstants (const UnzRecValues &rps, const Record *rty) |
Constants | liftArraysAsGlobals (llvm::Module *m, const Constants &cs, const MonoTypes &tys) |
llvm::Constant * | constantRecord (llvm::Module *, const Constants &cs, const Record *rty) |
llvm::Value * | tryMkConstRecord (llvm::IRBuilder<> *, llvm::Module *m, const RecordValue &rv, const Record *rty) |
llvm::Value * | offset (llvm::IRBuilder<> *b, llvm::Value *p, llvm::Value *o0) |
llvm::Value * | offset (llvm::IRBuilder<> *b, llvm::Value *p, int o0) |
llvm::Value * | offset (llvm::IRBuilder<> *b, llvm::Value *p, int o0, int o1) |
llvm::Value * | offset (llvm::IRBuilder<> *b, llvm::Value *p, int o0, llvm::Value *o1) |
llvm::Value * | structOffset (llvm::IRBuilder<> *b, llvm::Value *p, unsigned int fieldOffset) |
llvm::Function * | externDecl (llvm::Function *remoteFn, llvm::Module *thisModule) |
llvm::Function * | cloneFunction (llvm::Function *f, llvm::Module *targetMod) |
llvm::Value * | fncall (llvm::IRBuilder<> *b, llvm::Value *vfn, const Values &args) |
llvm::Value * | fncall (llvm::IRBuilder<> *b, llvm::Value *fn, llvm::Value *arg) |
long | tick () |
long | time () |
std::string | describeNanoTime (long x) |
template<size_t i, typename ... UniqueRefcMaps> | |
std::enable_if< i==sizeof...(UniqueRefcMaps), size_t >::type | compactAll (std::tuple< UniqueRefcMaps... > &) |
size_t | compact () |
template<typename T > | |
T | align (T x, T m) |
template<typename T , typename S > | |
const T * | is (const S *s) |
template<typename T , typename S > | |
T * | isM (S *s) |
template<typename T , typename S > | |
T * | is (const std::shared_ptr< S > &s) |
long | readTimespan (std::string s) |
long | readTimespan (const str::seq &ss) |
std::string | showTimespan (long ts) |
long | mkTime (int h, int m, int s, int u) |
long | readTime (const std::string &x) |
std::string | showTime (long x) |
long | mkDateTime (int y, int mon, int d, int h, int min, int s, int u) |
long | timeFromDateTime (long x) |
long | dateFromDateTime (long x) |
long | readDateTime (const std::string &x) |
std::string | showDateTime (long x) |
template<typename T , typename ... Ctors> | |
T * | get (variant< Ctors... > &v) |
template<typename T , typename ... Ctors> | |
const T * | get (const variant< Ctors... > &v) |
MonoTypePtr | fileType (bool writeable, const MonoTypePtr &stype) |
static uint32_t | fileModeFlags (const MonoTypePtr &t) |
static bool | isFileMode (const MonoTypePtr &t) |
static bool | isWriteable (uint32_t f) |
bool | unpackFileType (const MonoTypePtr &fty, UTFileConfig *fcfg) |
bool | unpackFileType (const MonoTypePtr &fty, FileConfig *fcfg) |
bool | isFileType (const MonoTypePtr &fty) |
FRefT | assumeFRefT (const MonoTypePtr &ty, const LexicalAnnotation &la) |
MonoTypePtr | injFileReferences (const MonoTypePtr &ty, const ExprPtr &f) |
unsigned int | storedOffset (const Record *rty, const std::string &lbl) |
unsigned int | storedOffset (const FileConfig &fcfg, const std::string &lbl) |
unsigned int | storedOffset (const MonoTypePtr &ty, const std::string &lbl) |
unsigned int | storedOffset (const ExprPtr &e, const std::string &lbl) |
const MonoTypePtr & | frefType (const MonoTypePtr &fref) |
const MonoTypePtr & | arrType (const MonoTypePtr &arr) |
char * | dbloado (long db, unsigned int o) |
char * | dbloadv (long db, long offset, long sz) |
char * | dbloadarr (long db, long offset) |
void | dbunloadv (long db, long ptr, long sz) |
void | dbunloadarr (long db, long ptr) |
long | dballoc (long db, long datasz, size_t align) |
long | dballocarr (long db, long elemsz, long len) |
long | dbarrcapacity (long db, long elemsz, long arrref) |
long | writeFileRT (const array< char > *fname, long tydef) |
void | dbsignalupdate (long db) |
long | readFileRT (const array< char > *fname, long tydef) |
MonoTypePtr | inferFileType (reader *r) |
void | printFileUF (long x) |
static bool | decLF (const ConstraintPtr &c, MonoTypePtr *lhs, MonoTypePtr *rhs) |
reader::PageEntries * | pageEntries (reader *r) |
void | dbglog (const std::string &) |
static void | raiseSysError (const std::string &msg, const std::string &fname) |
uint16_t | restInPage (const imagefile *f, size_t idx) |
size_t | pageCount (const imagefile *f, size_t sz) |
static void | closeFile (imagefile *f) |
static bool | loadFileSize (imagefile *f) |
static void | seekAbs (const imagefile *f, size_t pos) |
static off_t | filePosition (const imagefile *f) |
static void | allocPages (imagefile *f, size_t pages) |
static void | allocPage (imagefile *f) |
template<typename T > | |
void | write (imagefile *f, const T &x) |
template<typename TIter > | |
void | writes (imagefile *f, TIter begin, TIter end) |
void | write (imagefile *f, const std::string &x) |
void | write (imagefile *f, const std::vector< unsigned char > &xs) |
template<typename T > | |
void | read (const imagefile *f, T *x) |
template<typename T > | |
void | reads (const imagefile *f, size_t sz, T *x) |
void | read (imagefile *f, std::string *x) |
void | read (imagefile *f, std::vector< unsigned char > *xs) |
size_t | pageOffset (const imagefile *f, file_pageindex_t page) |
file_pageindex_t | pageIndex (const imagefile *f, uint64_t fpos) |
static size_t | position (const imagefile *f, file_pageindex_t page, uint16_t offset) |
file_pageindex_t | tocPageToFilePage (const imagefile *f, uint64_t tpage) |
static uint64_t | tocPosToFilePos (const imagefile *f, uint64_t spos) |
static size_t | pageTOCPosition (const imagefile *f, file_pageindex_t page) |
static void | updatePageSizeIndex (imagefile *f, file_pageindex_t page) |
static void | insertPageSizeIndex (imagefile *f, file_pageindex_t page) |
static bool | findPageWithSpace (imagefile *f, pagetype::code pt, size_t datalen, size_t alignment, file_pageindex_t *idx) |
static void | updateTOCData (imagefile *f, file_pageindex_t page, const pagedata &pd) |
static void | appendTOCData (imagefile *f, const pagetable &newpages) |
size_t | findSpace (imagefile *f, pagetype::code pt, size_t datalen, size_t alignment) |
static void | addBinding (imagefile *f, const std::string &vname, const MonoTypePtr &type, size_t offset) |
fregion & | createFileRegionMap (imagefile *f, file_pageindex_t page, size_t pages) |
void | releaseFileRegionMap (imagefile *f, const fregion &fr) |
template<typename K , typename V > | |
std::map< K, V >::iterator | gleb (std::map< K, V > &m, const K &x) |
fregion & | mappedFileRegion (imagefile *f, file_pageindex_t page, size_t pages) |
static char * | mapFileData (imagefile *f, size_t fpos, size_t sz) |
static void | unmapFileData (imagefile *f, void *p, size_t sz) |
uint16_t | assertValidPageSize (const imagefile *f, size_t psize) |
static void | createFile (imagefile *f) |
void | readPageData (imagefile *f) |
static void | readEnvironmentRecord (imagefile *f) |
static size_t | readEnvironmentPage (imagefile *f, file_pageindex_t p) |
static void | readFile (imagefile *f) |
static imagefile * | openFile (const std::string &fname, bool readonly) |
MonoTypePtr | mkFR (const MonoTypePtr &t) |
std::string | showPageDesc (const pagedata &pd) |
std::string | withUniqueFilenameBy (const std::string &fprefix, const std::string &fsuffix, const std::function< bool(const std::string &)> &fileOp) |
static MonoTypePtr | entuple (const MonoTypePtr &ty) |
static MonoTypePtr | filerefTy (const MonoTypePtr &ty) |
static MonoTypePtr | storedListOf (const MonoTypePtr &ty) |
static MonoTypePtr | storedStreamOf (const MonoTypePtr &ty) |
static MonoTypePtr | storeAs (cc *c, const MonoTypePtr &ty) |
static void * | storageFunction (cc *c, const MonoTypePtr &ty, const MonoTypePtr &storageType, const LexicalAnnotation &la) |
static void | unsafeWriteToSeries (long ss, char *rec) |
static void | unsafeWriteUnitToSeries (long ss) |
void | sweepFileWatch (FileWatch &fw) |
const array< FileWatchData > * | fileWatchData () |
void | addFileSignal (long file, long off, long sz, bool isArr, ChangeSignal f) |
void | addFileSOSignal (long file, unsigned int so, bool isArr, ChangeSignal f) |
bool | pullTypeArg (const std::string &fname, size_t idx, MonoTypePtr *p, const MonoTypePtr &ty) |
const Record * | signalRecord (const MonoTypePtr &r) |
ExprPtr | sigFileExpr (const ExprPtr &e) |
MonoTypePtr | sigFnType (const std::string &fn, const ExprPtr &db) |
llvm::GlobalVariable * | extractGlobal (llvm::Value *e) |
template<typename K , typename T > | |
T | lookup (const std::map< K, T > &tenv, const K &n) |
TEnvPtr | allocTEnvFrame (const str::seq &names, const MonoTypes &tys, const TEnvPtr &ptenv) |
Values | removeUnit (const Values &vs, const MonoTypes &mts) |
MonoTypes | removeUnit (const MonoTypes &mts) |
Record::Members | removeUnit (const Record::Members &ms) |
bool | fileExists (const std::string &fname) |
bool | importObject (cc *e, const std::string &sopath) |
bool | importScript (cc *e, const std::string &fname) |
static ModulePaths & | modulePaths () |
NameIndexing | nameIndexing (const str::seq &ns) |
NameIndexing | nameIndexing (const std::set< std::string > &ns) |
int | nameIndex (const NameIndexing &ns, const std::string &vn) |
std::vector< int > | nameIndex (const NameIndexing &ns, const str::seq &vns) |
MonoTypeSubst | substitution (const NameIndexing &ns) |
MonoTypeSubst | uvarSubstitution (const NameIndexing &ns) |
void | resolveNames (const NameIndexing &ns, const CFunDepDef &nfdep, FunDeps *out) |
FunDeps | resolveNames (const NameIndexing &ns, const CFunDepDefs &nfdeps) |
TClass::Members | resolveMembers (const MonoTypeSubst &s, const MVarTypeDefs &mvtds) |
void | compile (cc *e, const ClassDef *cd) |
MemberMapping | compileMembers (MonoTypeUnifier *u, const TClassPtr &c, const MonoTypes &targs, cc *e, const MVarDefs &ds, bool asfn) |
void | compile (cc *e, const InstanceDef *id) |
void | compile (cc *e, const MImport *mimp) |
void | compile (cc *e, const MTypeDef *mtd) |
void | compile (cc *e, const MVarDef *mvd) |
void | compile (cc *e, const MVarTypeDef *vtd) |
llvm::Type * | llvmPrim (const std::string &name, bool asArg) |
IOP (not, CreateNot, bool, bool) | |
IOP (bnot, CreateNot, unsigned char, unsigned char) | |
CASTOP (b2i, llvm::Instruction::ZExt, unsigned char, int) | |
CASTOP (b2l, llvm::Instruction::ZExt, unsigned char, long) | |
CASTOP (i2d, llvm::Instruction::SIToFP, int, double) | |
CASTOP (i2f, llvm::Instruction::SIToFP, int, float) | |
CASTOP (i2l, llvm::Instruction::SExt, int, long) | |
CASTOP (l2d, llvm::Instruction::SIToFP, long, double) | |
CASTOP (l2f, llvm::Instruction::SIToFP, long, float) | |
CASTOP (s2i, llvm::Instruction::SExt, short, int) | |
CASTOP (f2d, llvm::Instruction::FPExt, float, double) | |
CASTOP (tl2i, llvm::Instruction::Trunc, long, int) | |
CASTOP (ti2s, llvm::Instruction::Trunc, int, short) | |
CASTOP (ti2b, llvm::Instruction::Trunc, int, unsigned char) | |
CASTOP (tl2b, llvm::Instruction::Trunc, long, unsigned char) | |
IOP (sneg, CreateNeg, short, short) | |
IOP (ineg, CreateNeg, int, int) | |
IOP (lneg, CreateNeg, long, long) | |
IOP (fneg, CreateFNeg, float, float) | |
IOP (dneg, CreateFNeg, double, double) | |
BOP (ceq, CreateICmpEQ, char, char, bool) | |
BOP (cneq, CreateICmpNE, char, char, bool) | |
BOP (clt, CreateICmpULT, char, char, bool) | |
BOP (clte, CreateICmpULE, char, char, bool) | |
BOP (cgt, CreateICmpUGT, char, char, bool) | |
BOP (cgte, CreateICmpUGE, char, char, bool) | |
BOP (beq, CreateICmpEQ, unsigned char, unsigned char, bool) | |
BOP (bneq, CreateICmpNE, unsigned char, unsigned char, bool) | |
BOP (blt, CreateICmpULT, unsigned char, unsigned char, bool) | |
BOP (blte, CreateICmpULE, unsigned char, unsigned char, bool) | |
BOP (bgt, CreateICmpUGT, unsigned char, unsigned char, bool) | |
BOP (bgte, CreateICmpUGE, unsigned char, unsigned char, bool) | |
BOP (bshl, CreateShl, unsigned char, unsigned char, unsigned char) | |
BOP (blshr, CreateLShr, unsigned char, unsigned char, unsigned char) | |
BOP (bashr, CreateAShr, unsigned char, unsigned char, unsigned char) | |
BOP (band, CreateAnd, unsigned char, unsigned char, unsigned char) | |
BOP (bor, CreateOr, unsigned char, unsigned char, unsigned char) | |
BOP (bxor, CreateXor, unsigned char, unsigned char, unsigned char) | |
BOP (cadd, CreateAdd, char, char, char) | |
BOP (csub, CreateSub, char, char, char) | |
BOP (cmul, CreateMul, char, char, char) | |
BOP (cdiv, CreateSDiv, char, char, char) | |
BOP (crem, CreateSRem, char, char, char) | |
BOP (badd, CreateAdd, unsigned char, unsigned char, unsigned char) | |
BOP (bsub, CreateSub, unsigned char, unsigned char, unsigned char) | |
BOP (bmul, CreateMul, unsigned char, unsigned char, unsigned char) | |
BOP (bdiv, CreateSDiv, unsigned char, unsigned char, unsigned char) | |
BOP (brem, CreateSRem, unsigned char, unsigned char, unsigned char) | |
BOP (sadd, CreateAdd, short, short, short) | |
BOP (ssub, CreateSub, short, short, short) | |
BOP (smul, CreateMul, short, short, short) | |
BOP (sdiv, CreateSDiv, short, short, short) | |
BOP (srem, CreateSRem, short, short, short) | |
BOP (seq, CreateICmpEQ, short, short, bool) | |
BOP (sneq, CreateICmpNE, short, short, bool) | |
BOP (slt, CreateICmpSLT, short, short, bool) | |
BOP (slte, CreateICmpSLE, short, short, bool) | |
BOP (sgt, CreateICmpSGT, short, short, bool) | |
BOP (sgte, CreateICmpSGE, short, short, bool) | |
BOP (iadd, CreateAdd, int, int, int) | |
BOP (isub, CreateSub, int, int, int) | |
BOP (imul, CreateMul, int, int, int) | |
BOP (idiv, CreateSDiv, int, int, int) | |
BOP (irem, CreateSRem, int, int, int) | |
BOP (ishl, CreateShl, int, int, int) | |
BOP (ilshr, CreateLShr, int, int, int) | |
BOP (iashr, CreateAShr, int, int, int) | |
BOP (iand, CreateAnd, int, int, int) | |
BOP (ior, CreateOr, int, int, int) | |
BOP (ixor, CreateXor, int, int, int) | |
BOP (ieq, CreateICmpEQ, int, int, bool) | |
BOP (ineq, CreateICmpNE, int, int, bool) | |
BOP (ilt, CreateICmpSLT, int, int, bool) | |
BOP (ilte, CreateICmpSLE, int, int, bool) | |
BOP (igt, CreateICmpSGT, int, int, bool) | |
BOP (igte, CreateICmpSGE, int, int, bool) | |
BOP (ladd, CreateAdd, long, long, long) | |
BOP (lsub, CreateSub, long, long, long) | |
BOP (lmul, CreateMul, long, long, long) | |
BOP (ldiv, CreateSDiv, long, long, long) | |
BOP (lrem, CreateSRem, long, long, long) | |
BOP (lshl, CreateShl, long, long, long) | |
BOP (llshr, CreateLShr, long, long, long) | |
BOP (lashr, CreateAShr, long, long, long) | |
BOP (land, CreateAnd, long, long, long) | |
BOP (lor, CreateOr, long, long, long) | |
BOP (lxor, CreateXor, long, long, long) | |
BOP (leq, CreateICmpEQ, long, long, bool) | |
BOP (lneq, CreateICmpNE, long, long, bool) | |
BOP (llt, CreateICmpSLT, long, long, bool) | |
BOP (llte, CreateICmpSLE, long, long, bool) | |
BOP (lgt, CreateICmpSGT, long, long, bool) | |
BOP (lgte, CreateICmpSGE, long, long, bool) | |
BOP (fadd, CreateFAdd, float, float, float) | |
BOP (fsub, CreateFSub, float, float, float) | |
BOP (fmul, CreateFMul, float, float, float) | |
BOP (fdiv, CreateFDiv, float, float, float) | |
BOP (feq, CreateFCmpOEQ, float, float, bool) | |
BOP (fneq, CreateFCmpONE, float, float, bool) | |
BOP (flt, CreateFCmpOLT, float, float, bool) | |
BOP (flte, CreateFCmpOLE, float, float, bool) | |
BOP (fgt, CreateFCmpOGT, float, float, bool) | |
BOP (fgte, CreateFCmpOGE, float, float, bool) | |
BOP (dadd, CreateFAdd, double, double, double) | |
BOP (dsub, CreateFSub, double, double, double) | |
BOP (dmul, CreateFMul, double, double, double) | |
BOP (ddiv, CreateFDiv, double, double, double) | |
BOP (deq, CreateFCmpOEQ, double, double, bool) | |
BOP (dneq, CreateFCmpONE, double, double, bool) | |
BOP (dlt, CreateFCmpOLT, double, double, bool) | |
BOP (dlte, CreateFCmpOLE, double, double, bool) | |
BOP (dgt, CreateFCmpOGT, double, double, bool) | |
BOP (dgte, CreateFCmpOGE, double, double, bool) | |
size_t | stdstrsize (const std::string &x) |
char | stdstrelem (const std::string &x, size_t i) |
region & | threadRegion () |
static Regions & | threadRegions () |
size_t | makeMemRegion (const array< char > *n) |
char * | memallocz (long n) |
DEFINE_STRUCT (RegionState,(const array< char > *, name),(size_t, id),(size_t, allocated),(size_t, used),(size_t, wasted)) | |
array< RegionState > * | getMemoryPool () |
void | printMemoryPool () |
void | clearMemoryPool () |
void | abortAtMemUsage (size_t maxsz) |
const array< char > * | showChar (char c) |
const maybe< char >::ty * | readChar (const array< char > *x) |
const array< char > * | showByteV (unsigned char b) |
const array< char > * | showByte (unsigned char b) |
const maybe< unsigned char >::ty * | readByte (const array< char > *x) |
template<typename T > | |
const maybe< T >::ty * | readISV (const array< char > *x) |
const array< char > * | showShort (short s) |
const maybe< short >::ty * | readShort (const array< char > *x) |
const array< char > * | showInt (int x) |
const maybe< int >::ty * | readInt (const array< char > *x) |
const array< char > * | showLong (long x) |
const maybe< long >::ty * | readLong (const array< char > *x) |
const array< char > * | showFloat (float x, int p) |
const maybe< float >::ty * | readFloat (const array< char > *x) |
const array< char > * | showDouble (double x, int p) |
const maybe< double >::ty * | readDouble (const array< char > *x) |
const array< char > * | showString (std::string *x) |
const array< char > * | showTimespanV (timespanT x) |
const array< char > * | showTimeV (timeT x) |
const array< char > * | showDateTimeV (datetimeT x) |
std::string | showUS (int64_t us) |
const array< char > * | formatTimeV (const array< char > *fmt, long tus) |
const array< char > * | formatDateTime (const array< char > *fmt, datetimeT x) |
datetimeT | now () |
datetimeT | truncDate (datetimeT t) |
timeT | truncTime (datetimeT t) |
datetimeT | datetimeAt (datetimeT dt, timeT t) |
timespanT | gmtoffset (datetimeT x) |
std::ostringstream & | stdoutBuffer () |
void | stdoutBufferSwap (std::ostream *os) |
void | captureStdout () |
const array< char > * | releaseStdout () |
void | putStr (array< char > *x) |
size_t | cstrlen (char *x) |
char | cstrelem (char *x, size_t i) |
long | strsize (std::string *s) |
char | strelem (std::string *s, long i) |
void | stdstringAssign (std::string *lhs, array< char > *rhs) |
double | random (double low, double high) |
long | lrand (long low, long high) |
long | truncd (double x) |
void | failvarmatch (const array< char > *file, size_t line, const array< char > *txt, char *addr) |
void | dumpBytes (char *d, long len) |
void * | runClosThread (void *clos) |
long | newThread (char *clos) |
void | threadWait (long x) |
void | threadSleep (timespanT dt) |
std::set< int > & | badFDs () |
void | markBadFD (int fd) |
void | readOrMark (int fd, char *b, size_t sz) |
template<typename T > | |
T | fdRead (int fd) |
void | writeOrMark (int fd, const char *b, size_t sz) |
template<typename T > | |
void | fdWrite (int fd, T x) |
void | fdWriteChars (int fd, const array< char > *cs) |
void | fdWriteBytes (int fd, const array< unsigned char > *bs) |
uint8_t | compressLength (size_t len, uint8_t slen[9]) |
uint8_t | uncompressLength (const uint8_t *data, size_t *len) |
size_t | crossZLibCompressBound (size_t t) |
const array< uint8_t > * | compressBytes (const array< uint8_t > *bs) |
const array< uint8_t > * | uncompressBytes (const array< uint8_t > *bs) |
void | runEvery (timespanT dt, bool(*pf)()) |
void | evaluatePartialHTTPRequest (int c, void *ud) |
bool | isAllocatedConnection (Client *c) |
Client * | makeConnection (const std::string &hp) |
Client * | decodeConnType (const MonoTypePtr &t) |
bool | isPartialConnection (const MonoTypePtr &t) |
MonoTypePtr | makeConnType (Client *c) |
void | printConnectionUF (long x) |
int | connectSocket (int r, sockaddr *saddr, size_t len) |
int | connectSocket (hostent *host, int port) |
int | connectFileSocket (const std::string &filepath) |
void | prepareStrExpr (Server *s, int c, exprid eid, const std::string &expr, const MonoTypes &intys, const MonoTypePtr &outty) |
void | evaluateNetREPLRequest (int c, void *d) |
void | registerNetREPL (int s, Server *svr) |
void | execProcess (const std::string &cmd) |
void | runMachineREPLStep (cc *c) |
static void | deadlySignal (int sig, siginfo_t *, void *) |
static bool | dec (const ConstraintPtr &c, MonoTypePtr *lhs, MonoTypePtr *rhs) |
static MonoTypePtr | resultType (const MonoTypePtr &ftype) |
ExprPtr | makeTuple (const Exprs &exprs, const LexicalAnnotation &la) |
QualTypePtr | concreteClosureMethodType (const MonoTypePtr &envty, const MonoTypes &fargtys, const MonoTypePtr &rty) |
QualTypePtr | abstractClosureType (const Fn *f, const MonoTypes &fargtys, const MonoTypePtr &rty) |
ExprPtr | closLookup (const std::string &envVarName, const VarSet &vs, const MonoTypePtr &envty, const ExprPtr &fbody, const LexicalAnnotation &la) |
ExprPtr | closureMethod (const Fn *f, const VarSet &vs, const MonoTypePtr &envty, const MonoTypes &fargtys, const MonoTypePtr &rty, const LexicalAnnotation &la) |
ExprPtr | closureEnv (const VarSet &vs, const MonoTypePtr &envty, const LexicalAnnotation &la) |
MonoTypePtr | concreteClosureEnvType (unsigned int size) |
ExprPtr | makeClosureOver (const Fn *f, const VarSet &vs) |
static bool | hasRootBinding (const std::string &vn, const TEnvPtr &tenv, const TEnvs roots) |
template<typename T > | |
std::set< T > | set () |
template<typename T , typename ... Ts> | |
std::set< T > | set (const T &x, const Ts &... xs) |
MaybePathPoints | focusOnFundep (const VarIDs &vs, const MonoTypes &mts) |
Exprs | clones (const Exprs &es) |
void | showTy (std::ostream &out, const QualTypePtr &qty) |
UnitV | switchOf (const Case::Bindings &bs, const switchExprTyFnM &f) |
ExprPtr | desugarCompFilter (const ExprPtr &ex, const ExprPtr &filterE, const LexicalAnnotation &la) |
ExprPtr | desugarCompMap (const std::string &vn, const ExprPtr &ex, const ExprPtr &ae, const LexicalAnnotation &la) |
ExprPtr | desugarCompConcat (const ExprPtr &ex, const LexicalAnnotation &la) |
ExprPtr | desugarComprehensionFrom (const ExprPtr &ex, const ComprehensionDefs &cdefs, unsigned int i, const LexicalAnnotation &la) |
ExprPtr | fmtFoldConst (const ExprPtr &e, const std::string &c) |
ExprPtr | fmtFoldExpr (const ExprPtr &e, const std::string &expr) |
void | encode (const Case::Binding &b, std::ostream &out) |
void | decode (Case::Binding *b, std::istream &in) |
void | encode (const Switch::Binding &b, std::ostream &out) |
void | decode (Switch::Binding *b, std::istream &in) |
str::seq | nameBlanks (const str::seq &xs) |
MStatePtr | makeSwitch (const MDFA *dfa, const std::string &switchVar, const SwitchVal::Jumps &jmps, stateidx_t defState) |
void | addRef (MDFA *dfa, stateidx_t s) |
stateidx_t | addState (MDFA *dfa, const MStatePtr &state, bool addref=true) |
ExprPtr | varName (MDFA *dfa, const std::string &vn) |
ExprPtr | arrayElement (MDFA *dfa, const std::string &vn, size_t i) |
ExprPtr | charArrElement (MDFA *dfa, const std::string &packFn, const std::string &vn, size_t i) |
ExprPtr | openArray (MDFA *dfa, const std::string &vn) |
ExprPtr | arraySize (MDFA *dfa, const std::string &vn) |
ExprPtr | field (MDFA *dfa, const std::string &vn, const std::string &fn) |
void | tableTail (PatternRows *out, const PatternRows &in) |
void | dropUnusedColumns (PatternRows *out, const PatternRows &in) |
void | copyRowWithoutColumn (PatternRows *out, const PatternRow &row, size_t c) |
void | prependPatterns (PatternRow *row, const Patterns &ps) |
Patterns | arrayPatterns (const MatchArray &ma) |
Patterns | arrayAnyMatches (size_t n) |
Patterns | recordFieldPatterns (const MatchRecord &mr) |
template<typename MType , typename SValue , SValue(*)(const MType &) svalueF, void(*)(const MType &, PatternRows *, const PatternRow &, size_t) makeMatchRow, void(*)(SValue, PatternRows *, const PatternRow &, size_t) makeMatchAnyRow, stateidx_t(*)(const std::string &, SValue, MDFA *, const PatternRows &) makeNextState, MStatePtr(*)(const std::string &, MDFA *, const std::vector< std::pair< SValue, stateidx_t > > &, stateidx_t) makeSwitchState, typename SVLT = std::less<SValue>> | |
MStatePtr | makeSplitState (MDFA *dfa, const PatternRows &ps, size_t c) |
PrimitivePtr | litValue (const MatchLiteral &ml) |
void | makeLitSplitRow (const MatchLiteral &, PatternRows *out, const PatternRow &r, size_t c) |
void | makeLSAnyRow (PrimitivePtr, PatternRows *out, const PatternRow &r, size_t c) |
stateidx_t | makeLSSuccState (const std::string &, PrimitivePtr, MDFA *dfa, const PatternRows &nps) |
MStatePtr | makeLSSwitch (const std::string &switchVar, MDFA *dfa, const SwitchVal::Jumps &jmps, stateidx_t defState) |
MStatePtr | makeLSCvtSwitch (const std::string &switchVar, MDFA *dfa, const SwitchVal::Jumps &jmps, stateidx_t defState) |
bool | forConvertibility (const PatternPtr &p) |
MStatePtr | makeLiteralState (MDFA *dfa, const PatternRows &ps, size_t c) |
size_t | maSize (const MatchArray &ma) |
void | makeASplitRow (const MatchArray &ma, PatternRows *out, const PatternRow &r, size_t c) |
void | makeASAnyRow (size_t len, PatternRows *out, const PatternRow &r, size_t c) |
stateidx_t | makeASSuccState (const std::string &arrayVar, size_t len, MDFA *dfa, const PatternRows &nps) |
MStatePtr | makeASSwitch (const std::string &arrayVar, MDFA *dfa, const std::vector< std::pair< size_t, stateidx_t > > &lenjmps, stateidx_t defState) |
MStatePtr | makeArrayState (MDFA *dfa, const PatternRows &ps, size_t c) |
size_t | maxStringLen (const PatternRows &ps, size_t c) |
size_t | packedSValues (size_t cs) |
unsigned char | spatChar (const MatchArray &ma, size_t i) |
template<typename T > | |
T | translatep (const MatchArray &ma, size_t i) |
Patterns | sarrayPatterns (const std::string &svarName, size_t cs, const MatchArray &ma) |
void | addSATableRow (size_t len, const PatternRow &r, size_t c, PatternRows *out) |
MStatePtr | makeCharArrayState (MDFA *dfa, const PatternRows &ps, size_t c) |
bool | canMakeCharArrayState (const PatternRows &ps, size_t c) |
size_t | canMakeCharArrStateAtColumn (const PatternRows &ps) |
MStatePtr | makeRecordState (MDFA *dfa, const PatternRows &ps, size_t c) |
std::string | varCtor (const MatchVariant &mv) |
void | makeVariantSplitRow (const MatchVariant &mv, PatternRows *out, const PatternRow &r, size_t c) |
void | makeVSAnyRow (std::string, PatternRows *out, const PatternRow &r, size_t c) |
stateidx_t | makeVSSuccState (const std::string &, std::string, MDFA *dfa, const PatternRows &nps) |
MStatePtr | makeVSSwitch (const std::string &switchVar, MDFA *dfa, const SwitchVariant::CtorJumps &jmps, stateidx_t defState) |
MStatePtr | makeVariantState (MDFA *dfa, const PatternRows &ps, size_t c) |
MStatePtr | makeRegexState (MDFA *dfa, const PatternRows &ps, size_t c) |
MStatePtr | makeSuccState (MDFA *dfa, const PatternRows &ps, size_t c) |
size_t | columnScore (const PatternRows &ps, size_t c) |
size_t | choosePivotColumn (const PatternRows &ps) |
bool | isPrimSelection (bool alwaysLowerPrimMatchTables, const PatternRows &ps) |
PrimFArgs | makePrimFArgs (const PatternRows &ps) |
ExprPtr | liftDFAExpr (MDFA *dfa, stateidx_t state) |
ExprPtr | checkExpr (const ExprChecks &cs, const LexicalAnnotation &la) |
bool | compressToIfCheck (MDFA *dfa, const SwitchVal &sv, IfCheck *out) |
ExprPtr | liftDFAExprWithSwitchCompression (MDFA *dfa, stateidx_t state) |
bool | shouldInlineState (const MDFA *dfa, stateidx_t state) |
ExprPtr | liftPrimMatchExpr (MDFA *dfa, stateidx_t state) |
RowResults | findRowResults (MDFA *dfa, stateidx_t s) |
llvm::Function * | makePrimMatchDFAFunc (const std::string &fname, MDFA *dfa, stateidx_t s, const PrimFArgs &args) |
void | makeCompiledPrimMatchFunction (const std::string &fname, MDFA *dfa, stateidx_t state) |
MonoTypePtr | dfaStateType () |
void | mapStatesFrom (MDFA *dfa, stateidx_t state, GlobalToLocalState *localstate) |
size_t | localState (const GlobalToLocalState &localstate, stateidx_t state) |
size_t | reads (const ArgPos &argpos, const std::string &a) |
IDFATransitions * | transitions (const ArgPos &, MDFA *, const SwitchVal::Jumps &, const GlobalToLocalState &, std::set< stateidx_t > *, array< IDFAState > *) |
IDFATransition | transitionDef (const ArgPos &, MDFA *, stateidx_t, const GlobalToLocalState &, std::set< stateidx_t > *, array< IDFAState > *) |
void | copyStateDef (const ArgPos &argpos, MDFA *dfa, stateidx_t state, const GlobalToLocalState &localstate, std::set< stateidx_t > *dones, array< IDFAState > *dfaStates) |
void | makeInterpretedPrimMatchFunction (const std::string &fname, MDFA *dfa, stateidx_t state) |
bool | canMakeInterpretedPrimMatchFunction (MDFA *dfa, stateidx_t state) |
void | normalizeRecPatterns (MatchRecord *r, const std::set< std::string > &fnames) |
void | normalizeRecPatterns (const Patterns &ps, const std::set< std::string > &fnames) |
NamedPatternGroups | groupRecordPatterns (const Patterns &ps) |
NamedPatternGroups | groupVariantPatterns (const Patterns &ps) |
Patterns | concatArrayPatterns (const Patterns &ps) |
void | normalizeRecAccess (const Patterns &ps) |
bool | canHoldRecPatterns (const PatternPtr &p) |
void | normalizeRecAccess (const PatternRows &prs) |
void | validateDimensions (size_t c, const PatternRows &ps, const LexicalAnnotation &la) |
MonoTypes | matchRowType (const TEnvPtr &tenv, const PatternRows &ps) |
void | validate (const TEnvPtr &tenv, size_t c, const PatternRows &ps, const LexicalAnnotation &la) |
str::seq | varNames (unsigned int n) |
ExprPtr | inLetExp (const str::seq &vns, const Exprs &es, const ExprPtr &b, const LexicalAnnotation &la) |
VarMapping | varMapping (const Patterns &ps) |
void | assignNames (const str::seq &vns, PatternRows &ps, bool *mappedVs) |
void | printMatchExp (std::ostream &out, const ExprPtr &e) |
void | printMatchResult (const std::string &indent, std::ostream &out, const ExprPtr &e) |
template<typename T > | |
T | switchOf (const RegexPtr &p, const switchRegex< T > &f) |
RegexPtr | epsilon () |
RegexPtr | charLit (rchar_t c) |
RegexPtr | charRange (rchar_t b, rchar_t e) |
RegexPtr | zeroOrMore (const RegexPtr &p) |
RegexPtr | either (const RegexPtr &p0, const RegexPtr &p1) |
RegexPtr | bindTo (const std::string &name, const RegexPtr &p) |
RegexPtr | sequence (const RegexPtr &p0, const RegexPtr &p1) |
RegexPtr | anyOf (const Regexes &rs) |
CharRanges | toRanges (const std::set< rchar_t > &cs) |
RegexPtr | anyOf (const std::set< rchar_t > &cs) |
void | unescapeInto (rchar_t e, std::set< rchar_t > *out) |
RegexPtr | unescapePatChar (rchar_t x) |
void | charRange (rchar_t i, rchar_t e, std::set< rchar_t > *out) |
const std::set< rchar_t > & | anyChars () |
DCharset | readCharset (const std::string &x, size_t i) |
DRegex | diffRegex (const RegexPtr &lhs, const std::string &x, size_t i) |
DRegex | returnR (const std::string &x, size_t k, const RegexPtr &r) |
DRegex | seqR (const RegexPtr &lhs, const RegexPtr &c, const std::string &x, size_t k) |
CharRanges | usedCharRanges (const NFA &nfa, const stateset &ss) |
state | regexBefore (const RegexPtr &, state cont, result, NFA *) |
state | accumRegex (const RegexPtr &p, result x, NFA *nfa) |
std::set< rchar_t > | usedChars (const NFA &nfa) |
std::string | descStates (const stateset &ss) |
void | print (std::ostream &out, const NFA &nfa) |
void | findEpsClosure (const NFA &nfa, state s, statemarks *sms, EpsClosure *ec) |
void | findEpsClosure (const NFA &nfa, EpsClosure *ec) |
const stateset & | epsState (const EpsClosure &ec, state s) |
stateset | epsState (const EpsClosure &ec, const stateset &ss) |
void | print (std::ostream &out, const EpsClosure &ec) |
void | insert (stateset *o, const stateset &i) |
stateset | nfaTransition (const NFA &nfa, const EpsClosure &ec, const stateset &ss, const CharRange &cr) |
state | dfaState (const NFA &nfa, const EpsClosure &ec, Nss2Ds *nss2ds, DFA *dfa, const stateset &ss, RStates *rstates) |
void | disambiguate (const NFA &nfa, DFA *dfa, RStates *rstates) |
std::set< rchar_t > | usedChars (const DFA &dfa) |
void | print (std::ostream &out, const DFA &dfa) |
static ExprPtr | transitionToState (const std::string &fname, int s, const LexicalAnnotation &rootLA) |
static ExprPtr | transitionAsCharSwitch (const std::string &fname, const DFAState &s, const ExprPtr &charExpr, const ExprPtr &defaultResult, const LexicalAnnotation &rootLA) |
static ExprPtr | charInRange (const ExprPtr &c, const std::pair< rchar_t, rchar_t > &crange, const LexicalAnnotation &rootLA) |
static ExprPtr | transitionAsRangeChecks (const std::string &fname, const std::vector< std::pair< std::pair< rchar_t, rchar_t >, state >> &ranges, const ExprPtr &charExpr, const ExprPtr &defaultResult, const LexicalAnnotation &rootLA) |
static ExprPtr | transitionMapping (const std::string &fname, const DFAState &s, const ExprPtr &charExpr, const ExprPtr &defaultResult, const LexicalAnnotation &rootLA) |
void | makeDFAFunc (cc *c, const std::string &fname, const DFA &dfa, const LexicalAnnotation &rootLA) |
void | mergeCharRangesAndEqResults (DFA *dfa, const RStates &fstates, RStates *rstates) |
EqStates | findEquivStates (const DFA &dfa) |
DFA | removeEquivStates (const DFA &dfa, const EqStates &eqs) |
MonoTypePtr | regexCaptureBufferType (const Regexes ®exes) |
ExprPtr | makeRegexCaptureBuffer (const Regexes ®exes, const LexicalAnnotation &rootLA) |
bool | isRecordLike (const MonoTypePtr &mt) |
const Record::Members & | recordMembers (const MonoTypePtr &mt) |
bool | isTupleLike (const std::string &fname) |
bool | isTupleLike (const Record::Members &ms) |
bool | isTupleLike (const MkRecord::FieldDefs &fds) |
Record::Members | tupleNormalize (const Record::Members &ms) |
MkRecord::FieldDefs | tupleNormalize (const MkRecord::FieldDefs &fds) |
MonoTypePtr | makeRecordType (const Record::Members &ms) |
ExprPtr | makeRecord (const MkRecord::FieldDefs &fds, const LexicalAnnotation &la) |
void | failAppendRecordConstraint (const std::string &lhs, const std::string &rhs, const std::string &result) |
void | importDefs (const Record::Members &ms, Record::Members *out) |
MonoTypePtr | joinedRecord (const MonoTypePtr &lhs, const MonoTypePtr &rhs) |
QualTypePtr | joinedRecord (const QualTypePtr &lhs, const QualTypePtr &rhs) |
bool | equivalent (const TEnvPtr &tenv, const Record::Member &m0, const Record::Member &m1) |
MonoTypePtr | recordSuffix (const TEnvPtr &tenv, const MonoTypePtr &lhs, const MonoTypePtr &result) |
MonoTypePtr | recordPrefix (const TEnvPtr &tenv, const MonoTypePtr &rhs, const MonoTypePtr &result) |
void | checkSatisfiable (const MonoTypePtr &ty) |
void | tryRefine (const TEnvPtr &tenv, const MonoTypePtr &lhs, const MonoTypePtr &rhs, const MonoTypePtr &result, MonoTypeUnifier *s) |
void | insertFieldDefs (const MkRecord::FieldDefs &ifds, MkRecord::FieldDefs *out) |
void | insertFieldDefs (const MkRecord::FieldDefs &ifds, size_t c, MkRecord::FieldDefs *out) |
void | insertFieldDefsSfx (const MkRecord::FieldDefs &ifds, size_t c, MkRecord::FieldDefs *out) |
void | insertFieldDefsFromProj (const ExprPtr &rec, const Record *rty, MkRecord::FieldDefs *out) |
void | insertFieldDefsFromProj (const ExprPtr &rec, const MonoTypePtr &rty, MkRecord::FieldDefs *out) |
void | insertFieldDefsFromProj (const ExprPtr &rec, MkRecord::FieldDefs *out) |
ExprPtr | recordAppendExpr (const MkRecord *lhs, const MkRecord *rhs) |
ExprPtr | recordAppendExpr (const MkRecord *lhs, const ExprPtr &rhs) |
ExprPtr | recordAppendExpr (const ExprPtr &lhs, const MkRecord *rhs) |
ExprPtr | recordAppendExpr (const ExprPtr &lhs, const ExprPtr &rhs) |
ExprPtr | recordAppendFunction (const MonoTypePtr <y, const MonoTypePtr &rty, const MonoTypePtr &resty, const LexicalAnnotation &la) |
ExprPtr | recordPrefixFunction (const MonoTypePtr &recty, const MonoTypePtr &resty, const LexicalAnnotation &la) |
ExprPtr | recordPrefix (const ExprPtr &rec, const MonoTypePtr &resty) |
ExprPtr | recordSuffixFunction (const MonoTypePtr &recty, const MonoTypePtr &resty, const LexicalAnnotation &la) |
ExprPtr | recordSuffix (const ExprPtr &rec, const MonoTypePtr &resty) |
bool | isHiddenTCName (const std::string &n) |
void | includeFundep (const Constraint &c, const FunDep &fd, FunDeps *out) |
bool | isLiteralFnTerm (const ExprPtr &e) |
void | showFundep (const FunDep &fd, std::ostream &out) |
const TClass * | findClass (const TEnvPtr &tenv, const std::string &cname) |
void | serializeGroundInstance (const TEnvPtr &tenv, const TClass *c, const TCInstancePtr &inst, std::ostream &out) |
void | serializeGroundInstances (const TEnvPtr &tenv, const TClass *c, const TCInstances &insts, std::ostream &out) |
void | serializeGroundClasses (const TEnvPtr &tenv, const Classes &cs, std::ostream &out) |
Record::Members | stripHiddenFields (const Record *rty) |
MonoTypePtr | stripHiddenFields (const MonoTypePtr &ty) |
static bool | dec (const ConstraintPtr &c, ConsRecord *cr) |
ExprPtr | stripAssumps (const ExprPtr &e) |
Variant::Members | normalizeCtorIDs (const Variant::Members &ms) |
MonoTypePtr | normalizeCtorIDs (const MonoTypePtr &t) |
static bool | dec (const ConstraintPtr &c, ConsVariant *cv) |
static bool | asDestruct (const MonoTypePtr &t, MonoTypePtr *dty) |
static bool | asRestruct (const MonoTypePtr &t, MonoTypePtr *rty) |
static bool | dec (const ConstraintPtr &c, MonoTypePtr *lhs, MonoTypePtr *rhs) |
static MonoTypePtr | impliedType (const std::string &fieldName) |
static ExprPtr | impliedValue (const std::string &fieldName, const LexicalAnnotation &la) |
static bool | decFieldName (const MonoTypePtr &fieldName, std::string *fn) |
static bool | canDecFieldName (const MonoTypePtr &fieldName) |
static bool | mightRewriteToLookup (const TEnvPtr &tenv, const MonoTypePtr &rty, const std::string &fieldName, const MonoTypePtr &fty, Definitions *ds) |
static MonoTypePtr | rewritesToLookup (const TEnvPtr &tenv, const MonoTypePtr &rty, const std::string &fieldName, const MonoTypePtr &fty, Definitions *ds) |
static ExprPtr | rewriteLookup (const TEnvPtr &tenv, const ExprPtr &r, const std::string &fieldName, const MonoTypePtr &rty, const MonoTypePtr &fty, Definitions *ds, const LexicalAnnotation &la) |
static bool | isFieldName (const MonoTypePtr &fn, std::string *sfn) |
static MonoTypePtr | impliedType (const std::string &fieldName) |
static MonoTypePtr | impliedType (const MonoTypePtr &fieldName) |
bool | mightRewriteToSLookup (const TEnvPtr &tenv, const MonoTypePtr &rty, const MonoTypePtr &fieldName, const MonoTypePtr &fty, Definitions *ds) |
MonoTypePtr | rewritesToSLookup (const TEnvPtr &tenv, const MonoTypePtr &rty, const MonoTypePtr &fieldName, const MonoTypePtr &fty, Definitions *ds) |
ExprPtr | rewriteSLookup (const TEnvPtr &tenv, const ExprPtr &r, const std::string &fieldName, const MonoTypePtr &rty, const MonoTypePtr &fty, Definitions *ds, const LexicalAnnotation &la) |
MonoTypePtr | objViewToFlatView (const MonoTypePtr &obj, const Func *fty) |
MonoTypes | trCons (const MonoTypePtr &hty, const MonoTypes &ttys) |
Exprs | trCons (const ExprPtr &hexp, const Exprs &texps) |
QualTypePtr | underlyingFnType (const TEnvPtr &tenv, const MonoTypePtr &rty, const std::string &fieldName, const MonoTypePtr &fty, MonoTypeUnifier *s) |
QualTypePtr | underlyingFnType (const TEnvPtr &tenv, const ConstraintPtr &c) |
static bool | dec (const ConstraintPtr &c, FRefLoadable *fl) |
static bool | dec (const ConstraintPtr &c, MonoTypePtr *lhs, MonoTypePtr *rhs) |
bool | isSafeExistentialType (const Exists *e) |
static bool | dec (const ConstraintPtr &c, PacksTo *pt) |
static void | upd (const ConstraintPtr &c, const PacksTo &pt) |
static bool | dec (const ConstraintPtr &c, IsoRecur *ir) |
void | appendPath (PtrAdjustmentPath *p, const PtrAdjustmentPath &sfx) |
ExprPtr | applyVtblAdjustment (const ExprPtr &e, int o, const std::string &targetTy) |
ExprPtr | applyOffsetAdjustment (const ExprPtr &e, int o, const std::string &targetTy) |
ExprPtr | applyAdjustment (const PtrAdjustment &p, const ExprPtr &e) |
ExprPtr | applyAdjustments (const PtrAdjustmentPath &p, const ExprPtr &e) |
static bool | decodeTO (const ConstraintPtr &c, ExprPtr *e, MonoTypePtr *t) |
static bool | decideTO (const TEnvPtr &tenv, Definitions *ds, const ConstraintPtr &c, MonoTypePtr *t0, MonoTypePtr *t1) |
template<typename T > | |
std::string | showT (const T &t) |
template<typename T > | |
std::string | show (const std::set< T > &ts) |
bool | satisfied (const UnqualifierPtr &uq, const TEnvPtr &tenv, const ConstraintPtr &c, Definitions *ds) |
bool | satisfied (const TEnvPtr &tenv, const ConstraintPtr &c, Definitions *ds) |
bool | satisfied (const TEnvPtr &tenv, const Constraints &cs, Definitions *ds) |
bool | satisfiable (const UnqualifierPtr &uq, const TEnvPtr &tenv, const ConstraintPtr &c, Definitions *ds) |
bool | satisfiable (const TEnvPtr &tenv, const ConstraintPtr &c, Definitions *ds) |
bool | satisfiable (const TEnvPtr &tenv, const Constraints &cs, Definitions *ds) |
bool | isFileRef (const MonoTypePtr &mt) |
MTypeCtorMaps * | tctorMaps () |
bool | showFileRef (const MonoTypePtr &f, const MonoTypes &targs, std::ostream &out) |
static void | resetCtorIDs (Variant::Members *ms) |
int | findHiddenMember (int i, const std::string &lbl, const Variant::Members &ms) |
Variant::Members | consMember (const std::string &lbl, const MonoTypePtr &hty, const Variant::Members &tty) |
static bool | hiddenCtor (const Variant::Member &m) |
static void | normalizeSumFields (Variant::Members *ms) |
size_t | nextVisibleMember (size_t i, const Variant::Members &ms) |
void | showFullVarPayloadSuffix (const MonoTypePtr &t, std::ostream &out) |
void | showFull (const Variant::Members &ms, std::ostream &out) |
void | showSum (const Variant::Members &ms, std::ostream &out) |
bool | looksLikeSum (const Variant::Members &ms) |
Variant::Members | tailMembers (const Variant::Members &ms) |
Record::Member | addoffset (const Record::Member &m, int o) |
unsigned int | nextVisibleMember (unsigned int i, const Record::Members &ms) |
static void | resetFieldOffsets (Record::Members *ms) |
static void | normalizeTupleFields (Record::Members *ms) |
Record::Members | tailMembers (bool tup, const Record::Members &ms) |
unsigned int | maxFieldAlignmentF (const Record::Members &ms) |
bool | isTupleDesc (const Record::Members &ms) |
void | showAsTuple (std::ostream &out, const Record::Members &ms) |
void | showAsRecord (std::ostream &out, const Record::Members &ms) |
static std::atomic< std::size_t > | uidCtr (0) |
bool | in (const ConstraintPtr &c, const Constraints &cs) |
nat | nadd (nat lhs, nat rhs) |
nat | nmax (nat lhs, nat rhs) |
void | write (bool b, bytes *out) |
void | write (char c, bytes *out) |
void | write (unsigned char c, bytes *out) |
void | write (int x, bytes *out) |
void | write (long x, bytes *out) |
void | write (size_t x, bytes *out) |
void | write (unsigned int x, bytes *out) |
void | write (const std::string &s, bytes *out) |
template<typename T > | |
void | write (const std::vector< T > &xs, bytes *out) |
template<typename T > | |
T | read (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeFrom (const bytes &in, unsigned int *n) |
MonoTypePtr | decodePrim (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeOpaquePtr (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeTGen (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeTAbs (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeTApp (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeTVar (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeFixedArr (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeArr (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeVariant (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeRecord (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeFunc (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeExists (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeRecursive (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeTString (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeTLong (const bytes &in, unsigned int *n) |
MonoTypePtr | decodeTExpr (const bytes &in, unsigned int *n) |
MonoTypePtr | makeFileRef (const MonoTypePtr &ty, const MonoTypePtr &f) |
void | typeCtorForm (const MonoTypePtr &ty, std::string *cname, MonoTypes *targs, str::seq *ignvs) |
bool | refine (const TEnvPtr &tenv, const QualTypePtr &qty, MonoTypeUnifier *s, Definitions *ds) |
bool | refine (const TEnvPtr &tenv, const ExprPtr &e, MonoTypeUnifier *s, Definitions *ds) |
Record::Members | makeRecordMembers (const MkRecord::FieldDefs &fds, const MonoTypes &mts) |
terminal * | sym (symbols *ss, const std::string &x) |
terminal * | chr (chars *cs, char x) |
ParseRule::Bindings | toParseRuleBindings (symbols *ss, chars *cs, const BoundGrammarValues &gvs) |
const rules * | aggRules (const grammar &g, terminal *t) |
const rule & | nthRule (const rules *rs, nat n) |
terminal * | ruleElement (const rule &r, nat i) |
void | show (std::ostream &out, const grammar &g, const item &i) |
void | show (std::ostream &out, const grammar &g, const itemset &is) |
bool | ruleItems (const grammar &g, terminal *t, itemset *is) |
itemset | ruleItems (const grammar &g, terminal *t) |
const itemset & | parserStateDef (const parserdef &p, nat n) |
const state_transitions & | transitions (const parserdef &p, nat q) |
bool | follows (const state_transitions &st, terminal *t) |
bool | follows (const parserdef &p, nat q, terminal *t) |
nat | follow (const state_transitions &st, terminal *t) |
nat | follow (const parserdef &p, const transition &x) |
nat | follow (const parserdef &p, nat s, const terminals &ts) |
prefixes | endingAt (const parserdef &p, const rule &w, terminal *a) |
void | apply (const transition_lookahead &tl, parserdef *p) |
terminal * | reduceOpTerminal (const parserdef &pd, const action &a) |
bool | shiftInstead (const parserdef &pd, const precedence &px, nat shs, terminal *t, const action &a) |
void | addAction (const parserdef &pd, lrstate &s, terminal *t, const action &a, const precedence &px) |
void | addAccept (lrstate &s, terminal *t) |
void | addReduce (const parserdef &pd, lrstate &s, const terminalset &ts, terminal *agg, nat rule, nat len, const precedence &px) |
void | addGoto (lrstate &s, terminal *nt, nat next) |
void | addShift (const parserdef &pd, lrstate &s, terminal *t, nat next, const precedence &px) |
bool | referencesSym (const grammar &g, const item &i, terminal *t) |
void | beginHighlight (std::ostream &out) |
void | endHighlight (std::ostream &out) |
void | showHLTerm (std::ostream &out, terminal *x, terminal *hx) |
terminalset | definedSymbols (const lrtable &t) |
terminals | dispOrd (const terminalset &ts) |
terminals | extractGrammarRule (const ParseRule::Bindings &bs) |
grammar | extractGrammar (const Parser &p) |
std::string | constructorName (terminal *t) |
void | prepareEvalInfo (cc *c, const Parser &p, terminal *root, const precedence &prec, ParserEvalInfo *pei, const LexicalAnnotation &la) |
ExprPtr | evalExpr (const ParserEvalInfo &pei, terminal *s, size_t rule) |
MonoTypePtr | parseVariant (const ParserEvalInfo &pei) |
MonoTypePtr | parseResultType (const ParserEvalInfo &pei) |
ExprPtr | lengthOf (const ExprPtr &arr, const LexicalAnnotation &la) |
ExprPtr | elementOf (const ExprPtr &arr, const ExprPtr &i, const LexicalAnnotation &la) |
size_t | stateCount (const ParserEvalInfo &pei) |
bool | isNonTerminal (const ParserEvalInfo &pei, terminal *t) |
bool | needsOutputFunction (const ParserEvalInfo &pei, size_t i) |
str::seq | varNames (size_t n) |
size_t | parseDepth (const ParserEvalInfo &pei, size_t i) |
str::seq | shiftVarNames (const ParserEvalInfo &pei, size_t fromS, size_t toS) |
ExprPtr | parseFailure (const ParserEvalInfo &pei, size_t i) |
ExprPtr | makeOutputParserState (const ParserEvalInfo &pei, size_t i) |
ExprPtr | makeReduction (const ParserEvalInfo &pei, size_t i, terminal *sym, size_t rule) |
ExprPtr | doAction (const ParserEvalInfo &pei, size_t i, const action &act) |
ExprPtr | makeInputParserState (const ParserEvalInfo &pei, size_t i) |
LetRec::Bindings | makeParserStates (const ParserEvalInfo &pei) |
void | throwFileError (const std::string &fname, const YYLTYPE &errPos, const std::string &emsg) |
void | throwBufferError (const char *buffer, const YYLTYPE &errPos, const std::string &emsg) |
void | freeParserData () |
template<typename T > | |
const T & | checkReturn (const T &x) |
void | runParserOnBuffer (cc *c, int initTok, YY_BUFFER_STATE bs) |
void | runParserOnFile (cc *c, int initTok, const std::string &fname) |
void | runParserOnString (cc *c, int initTok, const char *s) |
str::seq | slurpLines (std::istream &in, size_t i, size_t f) |
static AnnContextStack & | annotationCtxStack () |
size_t | sumAttr (const mempage *p, pattr::E a) |
std::string | showPage (mempage *p) |
std::string | showPages (mempage *ps) |
Variables | |
template<size_t i, typename ... UniqueRefcMaps> | |
std::enable_if< i< sizeof...(UniqueRefcMaps), size_t >::type compactAll(std::tuple< UniqueRefcMaps... > &ms) { return std::get< i >ms).compact()+compactAll< i+1, UniqueRefcMaps... >ms);}template< size_t i, typename T, typename ... Ts > struct TypeIndex { static const size_t value=i;};template< size_t i, typename T, typename ... Ts > struct TypeIndex< i, T, T, Ts... > { static const size_t value=i;};template< size_t i, typename T, typename U, typename ... Ts > struct TypeIndex< i, T, U, Ts... > { static const size_t value=TypeIndex< i+1, T, Ts... >::value;};template< typename ... UniqueRefcMaps > class unique_refc_maps { private:typedef std::tuple< UniqueRefcMaps... > RefcMaps;RefcMaps refcMaps;public:template< typename T > typename std::tuple_element< TypeIndex< 0, T, UniqueRefcMaps... >::value, RefcMaps >::type &at() { return std::get< TypeIndex< 0, T, UniqueRefcMaps... >::value >this-> | refcMaps |
const char | timespanTNV [] = "timespan" |
const char | timeTNV [] = "time" |
const char | datetimeTNV [] = "datetime" |
stateidx_t | nullState = (stateidx_t)-1 |
nulltypedb | nulltdb |
static const UnitV | unitv = 0x00 |
const size_t | FUNCTION_SIZE_THRESHOLD = 64 |
template<template< class > class SzP, typename T0 , typename T1 , typename ... Ts> | |
else | |
static const size_t | minPageSize = 256 |
static const size_t | maxPageSize = ((1 << 14) - 1) |
static const uint32_t | filePrefixBytes = 0x10a1db0d |
static const size_t | pageDataOffset = sizeof(filehead) |
static __thread region * | threadRegionp = 0 |
static __thread Regions * | threadRegionsp = 0 |
static __thread size_t | currentRegion = 0 |
static Connections | connections |
static int | machineREPLLogFD = -1 |
static Signames | rsignames |
static const result | nullResult = (result)-1 |
static MonoTypePtr | stdstrty = OpaquePtr::make("std::string", 0, false) |
static MonoTypePtr | chararrty = arrayty(primty("char")) |
static MonoTypePtr | unitty = primty("unit") |
const bool | unit = true |
std::stack< YY_BUFFER_STATE > | activeParseBuffers |
VarCtorFn | varCtorFn = &defVarCtor |
PatVarCtorFn | patVarCtorFn = &defPatVarCtor |
typedef std::stack<BuffOrFilenamePtr> hobbes::AnnContextStack |
typedef std::pair<std::string, LexicalAnnotation> hobbes::annmsg |
typedef std::vector<annmsg> hobbes::annmsgs |
typedef std::unordered_map<std::string, size_t> hobbes::ArgPos |
typedef std::map<std::string, llvm::Value*> hobbes::Args |
typedef std::map<size_t, ExprPtr> hobbes::ArrayElem |
typedef unique_refc_map<const Array, MonoTypePtr> hobbes::ArrayMem |
typedef std::map<std::string, binding> hobbes::bindingset |
typedef std::vector<BoundGrammarValue> hobbes::BoundGrammarValues |
typedef std::pair<bool, std::string> hobbes::BuffOrFilename |
typedef std::shared_ptr<BuffOrFilename> hobbes::BuffOrFilenamePtr |
typedef std::map<uint64_t, ByteRangeWatch> hobbes::ByteRangeWatches |
typedef std::vector< unsigned char > hobbes::bytes |
typedef std::map<size_t, str::seq> hobbes::CaptureVarsAt |
typedef std::pair<str::seq, str::seq> hobbes::CFunDepDef |
typedef std::vector<CFunDepDef> hobbes::CFunDepDefs |
typedef bool(* hobbes::ChangeSignal) (long) |
typedef std::set<ChangeSignal> hobbes::ChangeSignals |
typedef std::pair<rchar_t, rchar_t> hobbes::CharRange |
typedef std::vector<CharRange> hobbes::CharRanges |
typedef std::map<char, terminal*> hobbes::chars |
typedef std::shared_ptr<ClassDef> hobbes::ClassDefPtr |
typedef std::vector<ClassDefPtr> hobbes::ClassDefs |
typedef std::vector<const TClass*> hobbes::Classes |
typedef std::vector<ComprehensionDef> hobbes::ComprehensionDefs |
typedef std::set<Client*> hobbes::Connections |
typedef std::vector<llvm::Constant*> hobbes::Constants |
typedef std::pair<std::string, llvm::Constant*> hobbes::ConstFieldValue |
typedef std::shared_ptr<Constraint> hobbes::ConstraintPtr |
typedef std::vector<ConstraintPtr> hobbes::Constraints |
typedef std::vector<ConstFieldValue> hobbes::ConstRecordValue |
typedef std::pair<std::string, ExprPtr> hobbes::CVarDef |
typedef std::vector<CVarDef> hobbes::CVarDefs |
typedef typeAlias<datetimeTNV, int64_t> hobbes::datetimeT |
typedef std::pair<size_t, std::set<rchar_t> > hobbes::DCharset |
typedef std::pair<std::string, ExprPtr> hobbes::Definition |
typedef std::vector<Definition> hobbes::Definitions |
typedef std::vector<DFAState> hobbes::DFA |
typedef std::pair<size_t, RegexPtr> hobbes::DRegex |
typedef clos1<parserdef, transition, terminalset> hobbes::DRT |
typedef range_map<rchar_t, state, char_range_ord> hobbes::dtransitions |
typedef std::map<state, stateset> hobbes::EpsClosure |
typedef std::map<state, state> hobbes::EqStates |
typedef std::map<int, eventcbclosure*> hobbes::EventClosures |
typedef void(* hobbes::eventhandler) (int fd, void *ud) |
typedef unique_refc_map<const Exists, std::string, MonoTypePtr> hobbes::ExistsMem |
typedef std::pair<ExprPtr, PrimitivePtr> hobbes::ExprCheck |
typedef std::vector<ExprCheck> hobbes::ExprChecks |
typedef std::pair<std::string, ExprPtr> hobbes::ExprDefn |
typedef uint32_t hobbes::exprid |
typedef std::unordered_map<Expr*, size_t> hobbes::ExprIdxs |
typedef std::function<ExprPtr(const std::string&)> hobbes::ExprParser |
typedef std::shared_ptr< Expr > hobbes::ExprPtr |
typedef std::vector<ExprPtr> hobbes::Exprs |
typedef std::map<char*, falloc> hobbes::fallocs |
typedef std::pair<std::string, llvm::Value*> hobbes::FieldValue |
typedef uint64_t hobbes::file_pageindex_t |
typedef std::pair< bool, const Record * > hobbes::FileConfig |
typedef std::pair<const array<char>*, const array<OffsetData>*> hobbes::FileWatchData |
typedef std::vector<FileWatch> hobbes::FileWatches |
typedef unique_refc_map<const FixedArray, MonoTypePtr, MonoTypePtr> hobbes::FixedArrayMem |
typedef std::map<file_pageindex_t, fregion> hobbes::fmappings |
typedef std::pair<std::string, ExprPtr> hobbes::FoldedState |
typedef std::unordered_map<stateidx_t, ExprPtr> hobbes::FoldedStateCalls |
typedef std::vector<FoldedState> hobbes::FoldedStates |
typedef std::pair< MonoTypePtr, ExprPtr > hobbes::FRefT |
typedef unique_refc_map<const Func, MonoTypePtr, MonoTypePtr> hobbes::FuncMem |
typedef std::pair<VarIDs, int> hobbes::FunDep |
typedef std::vector<FunDep> hobbes::FunDeps |
typedef std::unordered_map<size_t, size_t> hobbes::GlobalToLocalState |
typedef std::map<terminal*, rules> hobbes::grammar |
typedef std::vector<GrammarSymDef> hobbes::Grammar |
typedef std::vector<GrammarRule> hobbes::GrammarRules |
typedef std::pair<std::string, GrammarRules> hobbes::GrammarSymDef |
typedef std::shared_ptr<GrammarValue> hobbes::GrammarValuePtr |
typedef void(* hobbes::HTTPRequestHandler) (const HTTPRequest &, int fd, void *ud) |
typedef variant<int, long> hobbes::IDFATransition |
typedef array< std::pair<long, IDFATransition> > hobbes::IDFATransitions |
typedef std::vector<size_t> hobbes::Idxs |
typedef clos2<parserdef, transition, transition, bool> hobbes::includesT |
typedef std::shared_ptr<InstanceDef> hobbes::InstanceDefPtr |
typedef std::vector<InstanceDefPtr> hobbes::InstanceDefs |
typedef std::pair<bool, uint64_t> hobbes::IsArrOldVal |
typedef std::set<item> hobbes::itemset |
typedef std::vector<itemset> hobbes::itemsets |
typedef std::pair<nats, strings> hobbes::ldblines |
typedef std::pair<Pos, Pos> hobbes::LexRange |
typedef std::map<terminal*, action> hobbes::lrstate |
typedef std::vector<lrstate> hobbes::lrtable |
typedef variant<unit, MonoTypePtr> hobbes::MaybePathPoint |
typedef std::vector<MaybePathPoint> hobbes::MaybePathPoints |
typedef std::map<std::string, ExprPtr> hobbes::MemberMapping |
typedef std::shared_ptr<ModuleDef> hobbes::ModuleDefPtr |
typedef std::vector<ModuleDefPtr> hobbes::ModuleDefs |
typedef std::vector<std::string> hobbes::ModulePaths |
typedef std::shared_ptr<Module> hobbes::ModulePtr |
typedef std::vector<ModulePtr> hobbes::Modules |
typedef std::map<std::string, MonoTypePtr> hobbes::MonoTypeAliasMap |
typedef MonoType::ptr hobbes::MonoTypePtr |
typedef std::vector<MonoTypePtr> hobbes::MonoTypes |
typedef std::map<TVName, MonoTypePtr> hobbes::MonoTypeSubst |
typedef std::shared_ptr<MState> hobbes::MStatePtr |
typedef std::vector<MStatePtr> hobbes::MStates |
typedef unique_refc_maps< PrimMem, OpaquePtrMem, TVarMem, TGenMem, TAbsMem, TAppMem, FixedArrayMem, ArrayMem, VariantMem, RecordMem, FuncMem, ExistsMem, RecursiveMem, TStringMem, TLongMem, TExprMem > hobbes::MTypeCtorMaps |
typedef std::shared_ptr<MVarDef> hobbes::MVarDefPtr |
typedef std::vector<MVarDefPtr> hobbes::MVarDefs |
typedef std::shared_ptr<MVarTypeDef> hobbes::MVarTypeDefPtr |
typedef std::vector<MVarTypeDefPtr> hobbes::MVarTypeDefs |
typedef std::map<std::string, Patterns> hobbes::NamedPatternGroups |
typedef std::pair<std::string, region*> hobbes::NamedRegion |
typedef std::map<std::string, int> hobbes::NameIndexing |
typedef std::vector<TVName> hobbes::Names |
typedef std::set<TVName> hobbes::NameSet |
typedef unsigned int hobbes::nat |
typedef std::vector<nat> hobbes::nats |
typedef std::vector<NFAState> hobbes::NFA |
typedef std::map<stateset, state> hobbes::Nss2Ds |
typedef range_map<rchar_t, stateset, char_range_ord> hobbes::ntransitions |
typedef std::shared_ptr<Objs> hobbes::ObjsPtr |
typedef std::pair<uint64_t, IsArrOldVal> hobbes::OffsetData |
typedef unique_refc_map<const OpaquePtr, std::string, unsigned int, bool> hobbes::OpaquePtrMem |
typedef std::vector<file_pageindex_t> hobbes::pageseq |
typedef std::vector<pagedata> hobbes::pagetable |
typedef std::vector<ParseRule> hobbes::Parser |
typedef std::map<nat, state_transitions> hobbes::parser_state_transitions |
typedef std::map<itemset, nat> hobbes::parser_states |
typedef std::shared_ptr<Pattern> hobbes::PatternPtr |
typedef std::vector<PatternRow> hobbes::PatternRows |
typedef std::vector<PatternPtr> hobbes::Patterns |
typedef Pattern *(* hobbes::PatVarCtorFn)(const std::string &, const LexicalAnnotation &) |
typedef array<int> hobbes::PBatch |
typedef dbseq<PBatchRef> hobbes::PBatchList |
typedef fileref<PBatchList*> hobbes::PBatchListRef |
typedef fileref<PBatch*> hobbes::PBatchRef |
typedef std::shared_ptr<PolyType> hobbes::PolyTypePtr |
typedef std::vector<PolyTypePtr> hobbes::PolyTypes |
typedef std::pair<size_t, size_t> hobbes::Pos |
typedef std::map<terminal*, prec> hobbes::precedence |
typedef std::vector<terminals> hobbes::prefixes |
typedef std::pair<size_t, MonoTypePtr> hobbes::PrepProcExpr |
typedef std::pair<std::string, MonoTypePtr> hobbes::PrimFArg |
typedef std::vector<PrimFArg> hobbes::PrimFArgs |
typedef std::shared_ptr<Primitive> hobbes::PrimitivePtr |
typedef std::set<PrimitivePtr, PrimPtrLT> hobbes::PrimitiveSet |
typedef unique_refc_map<const Prim, std::string, MonoTypePtr> hobbes::PrimMem |
typedef std::vector<PtrAdjustment> hobbes::PtrAdjustmentPath |
typedef terminalset(* hobbes::ptsappend) (const terminalset &, const terminalset &) |
typedef std::map<pagetype::code, pageseq> hobbes::ptyorder |
typedef std::pair<Constraints, MonoTypePtr> hobbes::QualLiftedMonoType |
typedef std::pair<Constraints, MonoTypes> hobbes::QualLiftedMonoTypes |
typedef std::shared_ptr<QualType> hobbes::QualTypePtr |
typedef std::vector<QualTypePtr> hobbes::QualTypes |
typedef std::vector<uint8_t> hobbes::RawData |
typedef uint8_t hobbes::rchar_t |
typedef clos2<parserdef, transition, transition, bool> hobbes::readsT |
typedef unique_refc_map<const Record, Record::Members> hobbes::RecordMem |
typedef std::vector<FieldValue> hobbes::RecordValue |
typedef unique_refc_map<const Recursive, std::string, MonoTypePtr> hobbes::RecursiveMem |
typedef std::vector<RegexPtr> hobbes::Regexes |
typedef size_t hobbes::RegexIdx |
typedef std::set<RegexIdx> hobbes::RegexIdxs |
typedef std::shared_ptr<Regex> hobbes::RegexPtr |
typedef std::vector<NamedRegion> hobbes::Regions |
typedef uint32_t hobbes::result |
typedef std::map<size_t, ExprPtr> hobbes::RowResults |
typedef std::map<size_t, RegexIdxs> hobbes::RStates |
typedef clos1<transition_lookahead, transition, terminalset> hobbes::RT |
typedef terminals hobbes::rule |
typedef std::vector<rule> hobbes::rules |
typedef std::map<int,const char*> hobbes::Signames |
typedef std::map<result, str::set> hobbes::srcmarkers |
typedef uint32_t hobbes::state |
typedef std::map<nat, itemset> hobbes::state_definitions |
typedef std::map< terminal *, nat > hobbes::state_transitions |
typedef std::map<stateidx_t, llvm::BasicBlock*> hobbes::StateBranches |
typedef size_t hobbes::stateidx_t |
typedef std::set<stateidx_t> hobbes::stateidxset |
typedef std::vector<bool> hobbes::statemarks |
typedef std::set<state> hobbes::stateset |
typedef std::unordered_map<std::string, stateidx_t> hobbes::StatesIdx |
typedef std::vector<std::string> hobbes::strings |
typedef fileref<array<char>*> hobbes::strref |
typedef std::unordered_map<std::string, ExprPtr> hobbes::StructField |
typedef std::map<std::string, terminal*> hobbes::symbols |
typedef std::set<std::string> hobbes::SymSet |
typedef std::unordered_map<PatternRows, stateidx_t, hobbes::genHash<PatternRows> > hobbes::TableCfgStates |
typedef unique_refc_map<const TAbs, str::seq, MonoTypePtr> hobbes::TAbsMem |
typedef unique_refc_map<const TApp, MonoTypePtr, MonoTypes> hobbes::TAppMem |
typedef std::shared_ptr<TCInstanceFn> hobbes::TCInstanceFnPtr |
typedef std::vector<TCInstanceFnPtr> hobbes::TCInstanceFns |
typedef std::shared_ptr<TCInstance> hobbes::TCInstancePtr |
typedef std::vector<TCInstancePtr> hobbes::TCInstances |
typedef std::map<std::string, TClassPtr> hobbes::TClassEnv |
typedef std::shared_ptr<TClass> hobbes::TClassPtr |
typedef std::shared_ptr<TEnv> hobbes::TEnvPtr |
typedef std::set<TEnvPtr> hobbes::TEnvs |
typedef std::vector<terminal*> hobbes::terminals |
typedef std::set<terminal*> hobbes::terminalset |
typedef unique_refc_map<const TExpr, std::string> hobbes::TExprMem |
typedef unique_refc_map<const TGen, int> hobbes::TGenMem |
typedef std::set<int> hobbes::TGenVarSet |
typedef void(* hobbes::ThunkF) () |
typedef std::vector<ThunkF> hobbes::ThunkFs |
typedef bool(* hobbes::timerfunc) () |
typedef typeAlias<timespanTNV, int64_t> hobbes::timespanT |
typedef typeAlias<timeTNV, int64_t> hobbes::timeT |
typedef unique_refc_map<const TLong, long> hobbes::TLongMem |
typedef std::pair<nat, terminal*> hobbes::transition |
typedef std::map<transition, terminalset> hobbes::transition_lookahead |
typedef std::set<transition> hobbes::transitionset |
typedef unique_refc_map<const TString, std::string> hobbes::TStringMem |
typedef unique_refc_map<const TVar, std::string> hobbes::TVarMem |
typedef std::string hobbes::TVName |
typedef std::map<std::string, PolyTypePtr> hobbes::TypeAliasMap |
typedef std::vector<llvm::Type*> hobbes::Types |
typedef unsigned char hobbes::UnitV |
typedef std::shared_ptr< Unqualifier > hobbes::UnqualifierPtr |
typedef std::shared_ptr< UnqualifierSet > hobbes::UnqualifierSetPtr |
typedef std::shared_ptr<std::vector<std::pair<size_t, PatternRow> > > hobbes::UnreachableMatchRowsPtr |
typedef std::pair<std::vector<std::string>, Values> hobbes::UnzRecValues |
typedef std::pair< bool, MonoTypePtr > hobbes::UTFileConfig |
typedef std::vector< llvm::Value * > hobbes::Values |
typedef std::unordered_map<std::string, ArrayElem> hobbes::VarArrayElem |
typedef std::unordered_map<std::string, ExprPtr> hobbes::VarArrayLen |
typedef Expr *(* hobbes::VarCtorFn)(const std::string &, const LexicalAnnotation &) |
typedef unique_refc_map<const Variant, Variant::Members> hobbes::VariantMem |
typedef std::vector<int> hobbes::VarIDs |
typedef std::map<std::string, ExprPtr> hobbes::VarMapping |
typedef std::unordered_map<std::string, ExprPtr> hobbes::VarNames |
typedef std::set<std::string> hobbes::VarSet |
typedef std::unordered_map<std::string, StructField> hobbes::VarStructField |
void hobbes::abortAtMemUsage | ( | size_t | maxsz | ) |
QualTypePtr hobbes::abstractClosureType | ( | const Fn * | f, |
const MonoTypes & | fargtys, | ||
const MonoTypePtr & | rty | ||
) |
void hobbes::addAction | ( | const parserdef & | pd, |
lrstate & | s, | ||
terminal * | t, | ||
const action & | a, | ||
const precedence & | px | ||
) |
|
static |
void hobbes::addFileSignal | ( | long | file, |
long | off, | ||
long | sz, | ||
bool | isArr, | ||
ChangeSignal | f | ||
) |
void hobbes::addFileSOSignal | ( | long | file, |
unsigned int | so, | ||
bool | isArr, | ||
ChangeSignal | f | ||
) |
|
inline |
void hobbes::addReduce | ( | const parserdef & | pd, |
lrstate & | s, | ||
const terminalset & | ts, | ||
terminal * | agg, | ||
nat | rule, | ||
nat | len, | ||
const precedence & | px | ||
) |
void hobbes::addRef | ( | MDFA * | dfa, |
stateidx_t | s | ||
) |
void hobbes::addSATableRow | ( | size_t | len, |
const PatternRow & | r, | ||
size_t | c, | ||
PatternRows * | out | ||
) |
void hobbes::addShift | ( | const parserdef & | pd, |
lrstate & | s, | ||
terminal * | t, | ||
nat | next, | ||
const precedence & | px | ||
) |
stateidx_t hobbes::addState | ( | MDFA * | dfa, |
const MStatePtr & | state, | ||
bool | addref = true |
||
) |
size_t hobbes::addThreadRegion | ( | const std::string & | n, |
region * | r | ||
) |
void hobbes::addTimer | ( | timerfunc | f, |
int | millisecInterval | ||
) |
T hobbes::align | ( | T | x, |
T | m | ||
) |
unsigned int hobbes::alignment | ( | const MonoTypePtr & | ty | ) |
int hobbes::allocateFileSocketServer | ( | const std::string & | filepath | ) |
int hobbes::allocateServer | ( | int | port | ) |
int hobbes::allocateServer | ( | const std::string & | port | ) |
|
static |
|
static |
|
inline |
|
static |
const std::set<rchar_t>& hobbes::anyChars | ( | ) |
void hobbes::append | ( | std::vector< T > * | xs, |
const std::vector< T > & | ys | ||
) |
std::vector<T> hobbes::append | ( | const std::vector< T > & | xs, |
T | x | ||
) |
std::vector<T> hobbes::append | ( | const std::vector< T > & | xs, |
const std::vector< T > & | ys | ||
) |
void hobbes::appendPath | ( | PtrAdjustmentPath * | p, |
const PtrAdjustmentPath & | sfx | ||
) |
void hobbes::apply | ( | const transition_lookahead & | tl, |
parserdef * | p | ||
) |
ExprPtr hobbes::applyAdjustment | ( | const PtrAdjustment & | p, |
const ExprPtr & | e | ||
) |
ExprPtr hobbes::applyAdjustments | ( | const PtrAdjustmentPath & | p, |
const ExprPtr & | e | ||
) |
Patterns hobbes::arrayAnyMatches | ( | size_t | n | ) |
Patterns hobbes::arrayPatterns | ( | const MatchArray & | ma | ) |
|
inline |
|
inline |
|
inline |
const MonoTypePtr& hobbes::arrType | ( | const MonoTypePtr & | arr | ) |
|
static |
|
static |
uint16_t hobbes::assertValidPageSize | ( | const imagefile * | f, |
size_t | psize | ||
) |
|
inline |
void hobbes::assignNames | ( | const str::seq & | vns, |
PatternRows & | ps, | ||
bool * | mappedVs | ||
) |
|
inline |
|
inline |
FRefT hobbes::assumeFRefT | ( | const MonoTypePtr & | ty, |
const LexicalAnnotation & | la | ||
) |
T* hobbes::autorelease | ( | T * | x | ) |
std::set<int>& hobbes::badFDs | ( | ) |
const T* hobbes::begin | ( | const array< T > * | d | ) |
T* hobbes::begin | ( | array< T > * | d | ) |
const T* hobbes::begin | ( | const array< T > & | d | ) |
T* hobbes::begin | ( | array< T > & | d | ) |
void hobbes::beginHighlight | ( | std::ostream & | out | ) |
TEnvPtr hobbes::bindFrame | ( | const TEnvPtr & | p, |
const std::string & | vn, | ||
const MonoTypePtr & | vty | ||
) |
TEnvPtr hobbes::bindFrame | ( | const TEnvPtr & | p, |
const std::string & | vn, | ||
const QualTypePtr & | qty | ||
) |
|
inline |
hobbes::BOP | ( | ceq | , |
CreateICmpEQ | , | ||
char | , | ||
char | , | ||
bool | |||
) |
hobbes::BOP | ( | cneq | , |
CreateICmpNE | , | ||
char | , | ||
char | , | ||
bool | |||
) |
hobbes::BOP | ( | clt | , |
CreateICmpULT | , | ||
char | , | ||
char | , | ||
bool | |||
) |
hobbes::BOP | ( | clte | , |
CreateICmpULE | , | ||
char | , | ||
char | , | ||
bool | |||
) |
hobbes::BOP | ( | cgt | , |
CreateICmpUGT | , | ||
char | , | ||
char | , | ||
bool | |||
) |
hobbes::BOP | ( | cgte | , |
CreateICmpUGE | , | ||
char | , | ||
char | , | ||
bool | |||
) |
hobbes::BOP | ( | beq | , |
CreateICmpEQ | , | ||
unsigned | char, | ||
unsigned | char, | ||
bool | |||
) |
hobbes::BOP | ( | bneq | , |
CreateICmpNE | , | ||
unsigned | char, | ||
unsigned | char, | ||
bool | |||
) |
hobbes::BOP | ( | blt | , |
CreateICmpULT | , | ||
unsigned | char, | ||
unsigned | char, | ||
bool | |||
) |
hobbes::BOP | ( | blte | , |
CreateICmpULE | , | ||
unsigned | char, | ||
unsigned | char, | ||
bool | |||
) |
hobbes::BOP | ( | bgt | , |
CreateICmpUGT | , | ||
unsigned | char, | ||
unsigned | char, | ||
bool | |||
) |
hobbes::BOP | ( | bgte | , |
CreateICmpUGE | , | ||
unsigned | char, | ||
unsigned | char, | ||
bool | |||
) |
hobbes::BOP | ( | bshl | , |
CreateShl | , | ||
unsigned | char, | ||
unsigned | char, | ||
unsigned | char | ||
) |
hobbes::BOP | ( | blshr | , |
CreateLShr | , | ||
unsigned | char, | ||
unsigned | char, | ||
unsigned | char | ||
) |
hobbes::BOP | ( | bashr | , |
CreateAShr | , | ||
unsigned | char, | ||
unsigned | char, | ||
unsigned | char | ||
) |
hobbes::BOP | ( | band | , |
CreateAnd | , | ||
unsigned | char, | ||
unsigned | char, | ||
unsigned | char | ||
) |
hobbes::BOP | ( | bor | , |
CreateOr | , | ||
unsigned | char, | ||
unsigned | char, | ||
unsigned | char | ||
) |
hobbes::BOP | ( | bxor | , |
CreateXor | , | ||
unsigned | char, | ||
unsigned | char, | ||
unsigned | char | ||
) |
hobbes::BOP | ( | cadd | , |
CreateAdd | , | ||
char | , | ||
char | , | ||
char | |||
) |
hobbes::BOP | ( | csub | , |
CreateSub | , | ||
char | , | ||
char | , | ||
char | |||
) |
hobbes::BOP | ( | cmul | , |
CreateMul | , | ||
char | , | ||
char | , | ||
char | |||
) |
hobbes::BOP | ( | cdiv | , |
CreateSDiv | , | ||
char | , | ||
char | , | ||
char | |||
) |
hobbes::BOP | ( | crem | , |
CreateSRem | , | ||
char | , | ||
char | , | ||
char | |||
) |
hobbes::BOP | ( | badd | , |
CreateAdd | , | ||
unsigned | char, | ||
unsigned | char, | ||
unsigned | char | ||
) |
hobbes::BOP | ( | bsub | , |
CreateSub | , | ||
unsigned | char, | ||
unsigned | char, | ||
unsigned | char | ||
) |
hobbes::BOP | ( | bmul | , |
CreateMul | , | ||
unsigned | char, | ||
unsigned | char, | ||
unsigned | char | ||
) |
hobbes::BOP | ( | bdiv | , |
CreateSDiv | , | ||
unsigned | char, | ||
unsigned | char, | ||
unsigned | char | ||
) |
hobbes::BOP | ( | brem | , |
CreateSRem | , | ||
unsigned | char, | ||
unsigned | char, | ||
unsigned | char | ||
) |
hobbes::BOP | ( | sadd | , |
CreateAdd | , | ||
short | , | ||
short | , | ||
short | |||
) |
hobbes::BOP | ( | ssub | , |
CreateSub | , | ||
short | , | ||
short | , | ||
short | |||
) |
hobbes::BOP | ( | smul | , |
CreateMul | , | ||
short | , | ||
short | , | ||
short | |||
) |
hobbes::BOP | ( | sdiv | , |
CreateSDiv | , | ||
short | , | ||
short | , | ||
short | |||
) |
hobbes::BOP | ( | srem | , |
CreateSRem | , | ||
short | , | ||
short | , | ||
short | |||
) |
hobbes::BOP | ( | seq | , |
CreateICmpEQ | , | ||
short | , | ||
short | , | ||
bool | |||
) |
hobbes::BOP | ( | sneq | , |
CreateICmpNE | , | ||
short | , | ||
short | , | ||
bool | |||
) |
hobbes::BOP | ( | slt | , |
CreateICmpSLT | , | ||
short | , | ||
short | , | ||
bool | |||
) |
hobbes::BOP | ( | slte | , |
CreateICmpSLE | , | ||
short | , | ||
short | , | ||
bool | |||
) |
hobbes::BOP | ( | sgt | , |
CreateICmpSGT | , | ||
short | , | ||
short | , | ||
bool | |||
) |
hobbes::BOP | ( | sgte | , |
CreateICmpSGE | , | ||
short | , | ||
short | , | ||
bool | |||
) |
hobbes::BOP | ( | iadd | , |
CreateAdd | , | ||
int | , | ||
int | , | ||
int | |||
) |
hobbes::BOP | ( | isub | , |
CreateSub | , | ||
int | , | ||
int | , | ||
int | |||
) |
hobbes::BOP | ( | imul | , |
CreateMul | , | ||
int | , | ||
int | , | ||
int | |||
) |
hobbes::BOP | ( | idiv | , |
CreateSDiv | , | ||
int | , | ||
int | , | ||
int | |||
) |
hobbes::BOP | ( | irem | , |
CreateSRem | , | ||
int | , | ||
int | , | ||
int | |||
) |
hobbes::BOP | ( | ishl | , |
CreateShl | , | ||
int | , | ||
int | , | ||
int | |||
) |
hobbes::BOP | ( | ilshr | , |
CreateLShr | , | ||
int | , | ||
int | , | ||
int | |||
) |
hobbes::BOP | ( | iashr | , |
CreateAShr | , | ||
int | , | ||
int | , | ||
int | |||
) |
hobbes::BOP | ( | iand | , |
CreateAnd | , | ||
int | , | ||
int | , | ||
int | |||
) |
hobbes::BOP | ( | ior | , |
CreateOr | , | ||
int | , | ||
int | , | ||
int | |||
) |
hobbes::BOP | ( | ixor | , |
CreateXor | , | ||
int | , | ||
int | , | ||
int | |||
) |
hobbes::BOP | ( | ieq | , |
CreateICmpEQ | , | ||
int | , | ||
int | , | ||
bool | |||
) |
hobbes::BOP | ( | ineq | , |
CreateICmpNE | , | ||
int | , | ||
int | , | ||
bool | |||
) |
hobbes::BOP | ( | ilt | , |
CreateICmpSLT | , | ||
int | , | ||
int | , | ||
bool | |||
) |
hobbes::BOP | ( | ilte | , |
CreateICmpSLE | , | ||
int | , | ||
int | , | ||
bool | |||
) |
hobbes::BOP | ( | igt | , |
CreateICmpSGT | , | ||
int | , | ||
int | , | ||
bool | |||
) |
hobbes::BOP | ( | igte | , |
CreateICmpSGE | , | ||
int | , | ||
int | , | ||
bool | |||
) |
hobbes::BOP | ( | ladd | , |
CreateAdd | , | ||
long | , | ||
long | , | ||
long | |||
) |
hobbes::BOP | ( | lsub | , |
CreateSub | , | ||
long | , | ||
long | , | ||
long | |||
) |
hobbes::BOP | ( | lmul | , |
CreateMul | , | ||
long | , | ||
long | , | ||
long | |||
) |
hobbes::BOP | ( | ldiv | , |
CreateSDiv | , | ||
long | , | ||
long | , | ||
long | |||
) |
hobbes::BOP | ( | lrem | , |
CreateSRem | , | ||
long | , | ||
long | , | ||
long | |||
) |
hobbes::BOP | ( | lshl | , |
CreateShl | , | ||
long | , | ||
long | , | ||
long | |||
) |
hobbes::BOP | ( | llshr | , |
CreateLShr | , | ||
long | , | ||
long | , | ||
long | |||
) |
hobbes::BOP | ( | lashr | , |
CreateAShr | , | ||
long | , | ||
long | , | ||
long | |||
) |
hobbes::BOP | ( | land | , |
CreateAnd | , | ||
long | , | ||
long | , | ||
long | |||
) |
hobbes::BOP | ( | lor | , |
CreateOr | , | ||
long | , | ||
long | , | ||
long | |||
) |
hobbes::BOP | ( | lxor | , |
CreateXor | , | ||
long | , | ||
long | , | ||
long | |||
) |
hobbes::BOP | ( | leq | , |
CreateICmpEQ | , | ||
long | , | ||
long | , | ||
bool | |||
) |
hobbes::BOP | ( | lneq | , |
CreateICmpNE | , | ||
long | , | ||
long | , | ||
bool | |||
) |
hobbes::BOP | ( | llt | , |
CreateICmpSLT | , | ||
long | , | ||
long | , | ||
bool | |||
) |
hobbes::BOP | ( | llte | , |
CreateICmpSLE | , | ||
long | , | ||
long | , | ||
bool | |||
) |
hobbes::BOP | ( | lgt | , |
CreateICmpSGT | , | ||
long | , | ||
long | , | ||
bool | |||
) |
hobbes::BOP | ( | lgte | , |
CreateICmpSGE | , | ||
long | , | ||
long | , | ||
bool | |||
) |
hobbes::BOP | ( | fadd | , |
CreateFAdd | , | ||
float | , | ||
float | , | ||
float | |||
) |
hobbes::BOP | ( | fsub | , |
CreateFSub | , | ||
float | , | ||
float | , | ||
float | |||
) |
hobbes::BOP | ( | fmul | , |
CreateFMul | , | ||
float | , | ||
float | , | ||
float | |||
) |
hobbes::BOP | ( | fdiv | , |
CreateFDiv | , | ||
float | , | ||
float | , | ||
float | |||
) |
hobbes::BOP | ( | feq | , |
CreateFCmpOEQ | , | ||
float | , | ||
float | , | ||
bool | |||
) |
hobbes::BOP | ( | fneq | , |
CreateFCmpONE | , | ||
float | , | ||
float | , | ||
bool | |||
) |
hobbes::BOP | ( | flt | , |
CreateFCmpOLT | , | ||
float | , | ||
float | , | ||
bool | |||
) |
hobbes::BOP | ( | flte | , |
CreateFCmpOLE | , | ||
float | , | ||
float | , | ||
bool | |||
) |
hobbes::BOP | ( | fgt | , |
CreateFCmpOGT | , | ||
float | , | ||
float | , | ||
bool | |||
) |
hobbes::BOP | ( | fgte | , |
CreateFCmpOGE | , | ||
float | , | ||
float | , | ||
bool | |||
) |
hobbes::BOP | ( | dadd | , |
CreateFAdd | , | ||
double | , | ||
double | , | ||
double | |||
) |
hobbes::BOP | ( | dsub | , |
CreateFSub | , | ||
double | , | ||
double | , | ||
double | |||
) |
hobbes::BOP | ( | dmul | , |
CreateFMul | , | ||
double | , | ||
double | , | ||
double | |||
) |
hobbes::BOP | ( | ddiv | , |
CreateFDiv | , | ||
double | , | ||
double | , | ||
double | |||
) |
hobbes::BOP | ( | deq | , |
CreateFCmpOEQ | , | ||
double | , | ||
double | , | ||
bool | |||
) |
hobbes::BOP | ( | dneq | , |
CreateFCmpONE | , | ||
double | , | ||
double | , | ||
bool | |||
) |
hobbes::BOP | ( | dlt | , |
CreateFCmpOLT | , | ||
double | , | ||
double | , | ||
bool | |||
) |
hobbes::BOP | ( | dlte | , |
CreateFCmpOLE | , | ||
double | , | ||
double | , | ||
bool | |||
) |
hobbes::BOP | ( | dgt | , |
CreateFCmpOGT | , | ||
double | , | ||
double | , | ||
bool | |||
) |
hobbes::BOP | ( | dgte | , |
CreateFCmpOGE | , | ||
double | , | ||
double | , | ||
bool | |||
) |
|
inline |
|
static |
bool hobbes::canHoldRecPatterns | ( | const PatternPtr & | p | ) |
bool hobbes::canMakeCharArrayState | ( | const PatternRows & | ps, |
size_t | c | ||
) |
size_t hobbes::canMakeCharArrStateAtColumn | ( | const PatternRows & | ps | ) |
bool hobbes::canMakeInterpretedPrimMatchFunction | ( | MDFA * | dfa, |
stateidx_t | state | ||
) |
TVName hobbes::canonicalName | ( | int | v | ) |
MonoTypeSubst hobbes::canonicalNameSubst | ( | const NameSet & | ns | ) |
void hobbes::captureStdout | ( | ) |
|
inline |
Case::Bindings hobbes::caseOfBindings | ( | const char * | ctor, |
const char * | vname, | ||
const ExprPtr & | e, | ||
Cases... | cs | ||
) |
|
inline |
hobbes::CASTOP | ( | b2i | , |
llvm::Instruction::ZExt | , | ||
unsigned | char, | ||
int | |||
) |
hobbes::CASTOP | ( | b2l | , |
llvm::Instruction::ZExt | , | ||
unsigned | char, | ||
long | |||
) |
hobbes::CASTOP | ( | i2d | , |
llvm::Instruction::SIToFP | , | ||
int | , | ||
double | |||
) |
hobbes::CASTOP | ( | i2f | , |
llvm::Instruction::SIToFP | , | ||
int | , | ||
float | |||
) |
hobbes::CASTOP | ( | i2l | , |
llvm::Instruction::SExt | , | ||
int | , | ||
long | |||
) |
hobbes::CASTOP | ( | l2d | , |
llvm::Instruction::SIToFP | , | ||
long | , | ||
double | |||
) |
hobbes::CASTOP | ( | l2f | , |
llvm::Instruction::SIToFP | , | ||
long | , | ||
float | |||
) |
hobbes::CASTOP | ( | s2i | , |
llvm::Instruction::SExt | , | ||
short | , | ||
int | |||
) |
hobbes::CASTOP | ( | f2d | , |
llvm::Instruction::FPExt | , | ||
float | , | ||
double | |||
) |
hobbes::CASTOP | ( | tl2i | , |
llvm::Instruction::Trunc | , | ||
long | , | ||
int | |||
) |
hobbes::CASTOP | ( | ti2s | , |
llvm::Instruction::Trunc | , | ||
int | , | ||
short | |||
) |
hobbes::CASTOP | ( | ti2b | , |
llvm::Instruction::Trunc | , | ||
int | , | ||
unsigned | char | ||
) |
hobbes::CASTOP | ( | tl2b | , |
llvm::Instruction::Trunc | , | ||
long | , | ||
unsigned | char | ||
) |
|
inline |
ExprPtr hobbes::charArrElement | ( | MDFA * | dfa, |
const std::string & | packFn, | ||
const std::string & | vn, | ||
size_t | i | ||
) |
|
static |
|
inline |
ExprPtr hobbes::checkExpr | ( | const ExprChecks & | cs, |
const LexicalAnnotation & | la | ||
) |
const T& hobbes::checkReturn | ( | const T & | x | ) |
void hobbes::checkSatisfiable | ( | const MonoTypePtr & | ty | ) |
size_t hobbes::choosePivotColumn | ( | const PatternRows & | ps | ) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
void hobbes::clearMemoryPool | ( | ) |
MonoTypePtr hobbes::clone | ( | const MonoTypePtr & | t | ) |
MonoTypePtr hobbes::clone | ( | const MonoType * | t | ) |
MonoTypePtr hobbes::clone | ( | const MonoType & | t | ) |
|
inline |
QualTypePtr hobbes::cloneP | ( | const QualTypePtr & | p | ) |
MonoTypePtr hobbes::cloneP | ( | const MonoTypePtr & | p | ) |
|
inline |
|
static |
ExprPtr hobbes::closLookup | ( | const std::string & | envVarName, |
const VarSet & | vs, | ||
const MonoTypePtr & | envty, | ||
const ExprPtr & | fbody, | ||
const LexicalAnnotation & | la | ||
) |
|
inline |
|
inline |
ExprPtr hobbes::closureConvert | ( | const TEnvPtr & | rootTEnv, |
const std::string & | vn, | ||
const ExprPtr & | e | ||
) |
ExprPtr hobbes::closureEnv | ( | const VarSet & | vs, |
const MonoTypePtr & | envty, | ||
const LexicalAnnotation & | la | ||
) |
ExprPtr hobbes::closureMethod | ( | const Fn * | f, |
const VarSet & | vs, | ||
const MonoTypePtr & | envty, | ||
const MonoTypes & | fargtys, | ||
const MonoTypePtr & | rty, | ||
const LexicalAnnotation & | la | ||
) |
size_t hobbes::columnScore | ( | const PatternRows & | ps, |
size_t | c | ||
) |
size_t hobbes::compact | ( | ) |
|
inline |
void hobbes::compactMTypeMemory | ( | ) |
void hobbes::compile | ( | cc * | e, |
const InstanceDef * | id | ||
) |
void hobbes::compile | ( | cc * | e, |
const MVarTypeDef * | vtd | ||
) |
void hobbes::compileBootCode | ( | cc & | ctx | ) |
ExprPtr hobbes::compileMatch | ( | cc * | c, |
const Exprs & | es, | ||
const PatternRows & | ps, | ||
const LexicalAnnotation & | rootLA | ||
) |
ExprPtr hobbes::compileMatchTest | ( | cc * | c, |
const ExprPtr & | e, | ||
const PatternPtr & | p, | ||
const LexicalAnnotation & | rootLA | ||
) |
MemberMapping hobbes::compileMembers | ( | MonoTypeUnifier * | u, |
const TClassPtr & | c, | ||
const MonoTypes & | targs, | ||
cc * | e, | ||
const MVarDefs & | ds, | ||
bool | asfn | ||
) |
T hobbes::compileTo | ( | cc * | c, |
const str::seq & | vns, | ||
const std::string & | expr | ||
) |
uint8_t hobbes::compressLength | ( | size_t | len, |
uint8_t | slen[9] | ||
) |
CT hobbes::concat | ( | const CCT & | cs | ) |
MonoTypePtr hobbes::concreteClosureEnvType | ( | unsigned int | size | ) |
QualTypePtr hobbes::concreteClosureMethodType | ( | const MonoTypePtr & | envty, |
const MonoTypes & | fargtys, | ||
const MonoTypePtr & | rty | ||
) |
int hobbes::connectFileSocket | ( | const std::string & | filepath | ) |
int hobbes::connectSocket | ( | const std::string & | host, |
int | port | ||
) |
int hobbes::connectSocket | ( | const std::string & | hostport | ) |
int hobbes::connectSocket | ( | int | r, |
sockaddr * | saddr, | ||
size_t | len | ||
) |
int hobbes::connectSocket | ( | hostent * | host, |
int | port | ||
) |
std::vector<T> hobbes::cons | ( | T | h, |
std::vector< T > | t | ||
) |
Record::Members hobbes::consMember | ( | const std::string & | lbl, |
const MonoTypePtr & | hty, | ||
const Variant::Members & | tty | ||
) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
std::string hobbes::constructorName | ( | terminal * | t | ) |
|
inline |
void hobbes::copyRowWithoutColumn | ( | PatternRows * | out, |
const PatternRow & | row, | ||
size_t | c | ||
) |
void hobbes::copyStateDef | ( | const ArgPos & | argpos, |
MDFA * | dfa, | ||
stateidx_t | state, | ||
const GlobalToLocalState & | localstate, | ||
std::set< stateidx_t > * | dones, | ||
array< IDFAState > * | dfaStates | ||
) |
|
static |
fregion& hobbes::createFileRegionMap | ( | imagefile * | f, |
file_pageindex_t | page, | ||
size_t | pages | ||
) |
size_t hobbes::crossZLibCompressBound | ( | size_t | t | ) |
char hobbes::cstrelem | ( | char * | x, |
size_t | i | ||
) |
size_t hobbes::cstrlen | ( | char * | x | ) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
long hobbes::dballoc | ( | long | db, |
long | datasz, | ||
size_t | align | ||
) |
long hobbes::dballocarr | ( | long | db, |
long | elemsz, | ||
long | len | ||
) |
long hobbes::dbarrcapacity | ( | long | db, |
long | elemsz, | ||
long | arrref | ||
) |
void hobbes::dbglog | ( | const std::string & | ) |
char* hobbes::dbloadarr | ( | long | db, |
long | offset | ||
) |
char* hobbes::dbloado | ( | long | db, |
unsigned int | o | ||
) |
char* hobbes::dbloadv | ( | long | db, |
long | offset, | ||
long | sz | ||
) |
void hobbes::dbsignalupdate | ( | long | db | ) |
void hobbes::dbunloadarr | ( | long | db, |
long | ptr | ||
) |
void hobbes::dbunloadv | ( | long | db, |
long | ptr, | ||
long | sz | ||
) |
|
static |
|
static |
|
static |
|
static |
|
static |
bool hobbes::dec | ( | const ConstraintPtr & | c, |
Subtype * | st | ||
) |
|
static |
bool hobbes::dec | ( | const ConstraintPtr & | c, |
AppendsTo * | r | ||
) |
bool hobbes::dec | ( | const ConstraintPtr & | c, |
HasField * | hf | ||
) |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
inline |
|
inline |
|
inline |
|
inline |
void hobbes::decode | ( | QualTypePtr * | qty, |
std::istream & | in | ||
) |
void hobbes::decode | ( | MonoTypePtr * | mty, |
std::istream & | in | ||
) |
MonoTypePtr hobbes::decode | ( | const std::vector< unsigned char > & | in | ) |
MonoTypePtr hobbes::decode | ( | const unsigned char * | b, |
const unsigned char * | e | ||
) |
void hobbes::decode | ( | PrimitivePtr * | p, |
std::istream & | in | ||
) |
void hobbes::decode | ( | ExprPtr * | out, |
std::istream & | in | ||
) |
void hobbes::decode | ( | const std::vector< uint8_t > & | d, |
ExprPtr * | e | ||
) |
void hobbes::decode | ( | Case::Binding * | b, |
std::istream & | in | ||
) |
void hobbes::decode | ( | Switch::Binding * | b, |
std::istream & | in | ||
) |
MonoTypePtr hobbes::decodeArr | ( | const bytes & | in, |
unsigned int * | n | ||
) |
Client* hobbes::decodeConnType | ( | const MonoTypePtr & | t | ) |
MonoTypePtr hobbes::decodeExists | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodeFixedArr | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodeFrom | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodeFunc | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodeOpaquePtr | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodePrim | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodeRecord | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodeRecursive | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodeTAbs | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodeTApp | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodeTExpr | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodeTGen | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodeTLong | ( | const bytes & | in, |
unsigned int * | n | ||
) |
|
static |
MonoTypePtr hobbes::decodeTString | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodeTVar | ( | const bytes & | in, |
unsigned int * | n | ||
) |
MonoTypePtr hobbes::decodeVariant | ( | const bytes & | in, |
unsigned int * | n | ||
) |
hobbes::DEFINE_STRUCT | ( | RegionState | , |
(const array< char > *, name) | , | ||
(size_t, id) | , | ||
(size_t, allocated) | , | ||
(size_t, used) | , | ||
(size_t, wasted) | |||
) |
terminalset hobbes::definedSymbols | ( | const grammar & | g | ) |
terminalset hobbes::definedSymbols | ( | const lrtable & | t | ) |
void hobbes::definePrivateClass | ( | const TEnvPtr & | tenv, |
const std::string & | memberName, | ||
const ExprPtr & | expr | ||
) |
Pattern * hobbes::defPatVarCtor | ( | const std::string & | vn, |
const LexicalAnnotation & | la | ||
) |
Expr * hobbes::defVarCtor | ( | const std::string & | vn, |
const LexicalAnnotation & | la | ||
) |
bool hobbes::derivesNull | ( | const terminalset & | nullAggs, |
const rule & | r | ||
) |
bool hobbes::derivesNull | ( | const grammar & | g, |
const terminalset & | nullAggs, | ||
terminal * | s | ||
) |
bool hobbes::derivesNull | ( | const grammar & | g, |
const terminalset & | nullAggs, | ||
const terminals & | ss | ||
) |
|
inline |
std::string hobbes::descStates | ( | const stateset & | ss | ) |
void hobbes::deserializeGroundClasses | ( | const TEnvPtr & | tenv, |
std::istream & | in, | ||
Definitions * | ds | ||
) |
ExprPtr hobbes::desugarCompConcat | ( | const ExprPtr & | ex, |
const LexicalAnnotation & | la | ||
) |
ExprPtr hobbes::desugarCompFilter | ( | const ExprPtr & | ex, |
const ExprPtr & | filterE, | ||
const LexicalAnnotation & | la | ||
) |
ExprPtr hobbes::desugarCompMap | ( | const std::string & | vn, |
const ExprPtr & | ex, | ||
const ExprPtr & | ae, | ||
const LexicalAnnotation & | la | ||
) |
ExprPtr hobbes::desugarComprehension | ( | const ExprPtr & | ex, |
const ComprehensionDefs & | cdefs, | ||
const LexicalAnnotation & | la | ||
) |
ExprPtr hobbes::desugarComprehensionFrom | ( | const ExprPtr & | ex, |
const ComprehensionDefs & | cdefs, | ||
unsigned int | i, | ||
const LexicalAnnotation & | la | ||
) |
state hobbes::dfaState | ( | const NFA & | nfa, |
const EpsClosure & | ec, | ||
Nss2Ds * | nss2ds, | ||
DFA * | dfa, | ||
const stateset & | ss, | ||
RStates * | rstates | ||
) |
MonoTypePtr hobbes::dfaStateType | ( | ) |
bool hobbes::directlyDerivesNull | ( | const rule & | r | ) |
terminalset hobbes::directReads | ( | const parserdef & | p, |
const transition & | x | ||
) |
terminals hobbes::dispOrd | ( | const terminalset & | ts | ) |
ExprPtr hobbes::doAction | ( | const ParserEvalInfo & | pei, |
size_t | i, | ||
const action & | act | ||
) |
|
inline |
std::map<K, V> hobbes::drop | ( | const std::map< K, V > & | m, |
const std::set< K > & | ks | ||
) |
std::vector<T> hobbes::drop | ( | const std::vector< T > & | xs, |
size_t | n | ||
) |
void hobbes::dropUnusedColumns | ( | PatternRows * | out, |
const PatternRows & | in | ||
) |
void hobbes::dumpBytes | ( | char * | d, |
long | len | ||
) |
ExprPtr hobbes::elementOf | ( | const ExprPtr & | arr, |
const ExprPtr & | i, | ||
const LexicalAnnotation & | la | ||
) |
|
inline |
|
inline |
|
inline |
|
inline |
void hobbes::encode | ( | const QualTypePtr & | qty, |
std::ostream & | out | ||
) |
void hobbes::encode | ( | const MonoTypePtr & | mty, |
std::ostream & | out | ||
) |
void hobbes::encode | ( | const QualTypePtr & | qty, |
std::vector< unsigned char > * | out | ||
) |
void hobbes::encode | ( | const MonoTypePtr & | mt, |
std::vector< unsigned char > * | out | ||
) |
void hobbes::encode | ( | const PrimitivePtr & | p, |
std::ostream & | out | ||
) |
void hobbes::encode | ( | const ExprPtr & | e, |
std::ostream & | out | ||
) |
void hobbes::encode | ( | const ExprPtr & | e, |
std::vector< uint8_t > * | d | ||
) |
void hobbes::encode | ( | const Case::Binding & | b, |
std::ostream & | out | ||
) |
void hobbes::encode | ( | const Switch::Binding & | b, |
std::ostream & | out | ||
) |
const T* hobbes::end | ( | const array< T > * | d | ) |
T* hobbes::end | ( | array< T > * | d | ) |
const T* hobbes::end | ( | const array< T > & | d | ) |
T* hobbes::end | ( | array< T > & | d | ) |
void hobbes::endHighlight | ( | std::ostream & | out | ) |
void hobbes::ensureDirExists | ( | const std::string & | path | ) |
|
static |
RegexPtr hobbes::epsilon | ( | ) |
const stateset& hobbes::epsState | ( | const EpsClosure & | ec, |
state | s | ||
) |
stateset hobbes::epsState | ( | const EpsClosure & | ec, |
const stateset & | ss | ||
) |
bool hobbes::equivalent | ( | const TEnvPtr & | tenv, |
const Record::Member & | m0, | ||
const Record::Member & | m1 | ||
) |
|
inline |
ExprPtr hobbes::evalExpr | ( | const ParserEvalInfo & | pei, |
terminal * | s, | ||
size_t | rule | ||
) |
void hobbes::evaluateNetREPLRequest | ( | int | c, |
void * | d | ||
) |
void hobbes::evaluatePartialHTTPRequest | ( | int | c, |
void * | ud | ||
) |
void hobbes::execProcess | ( | const std::string & | cmd | ) |
Constraints hobbes::expandHiddenTCs | ( | const TEnvPtr & | tenv, |
const Constraints & | cs | ||
) |
|
inline |
|
inline |
|
inline |
llvm::GlobalVariable* hobbes::extractGlobal | ( | llvm::Value * | e | ) |
terminals hobbes::extractGrammarRule | ( | const ParseRule::Bindings & | bs | ) |
void hobbes::failAppendRecordConstraint | ( | const std::string & | lhs, |
const std::string & | rhs, | ||
const std::string & | result | ||
) |
void hobbes::failvarmatch | ( | const array< char > * | file, |
size_t | line, | ||
const array< char > * | txt, | ||
char * | addr | ||
) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
T hobbes::fdRead | ( | int | fd | ) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
void hobbes::fdWrite | ( | int | fd, |
T | x | ||
) |
void hobbes::fdWriteBytes | ( | int | fd, |
const array< unsigned char > * | bs | ||
) |
void hobbes::fdWriteChars | ( | int | fd, |
const array< char > * | cs | ||
) |
bool hobbes::fileExists | ( | const std::string & | fname | ) |
|
static |
|
static |
|
static |
|
inline |
MonoTypePtr hobbes::fileType | ( | bool | writeable, |
const MonoTypePtr & | stype | ||
) |
const array<FileWatchData>* hobbes::fileWatchData | ( | ) |
void hobbes::findEpsClosure | ( | const NFA & | nfa, |
state | s, | ||
statemarks * | sms, | ||
EpsClosure * | ec | ||
) |
void hobbes::findEpsClosure | ( | const NFA & | nfa, |
EpsClosure * | ec | ||
) |
int hobbes::findHiddenMember | ( | int | i, |
const std::string & | lbl, | ||
const Variant::Members & | ms | ||
) |
|
static |
RowResults hobbes::findRowResults | ( | MDFA * | dfa, |
stateidx_t | s | ||
) |
size_t hobbes::findSpace | ( | imagefile * | f, |
pagetype::code | pt, | ||
size_t | datalen, | ||
size_t | alignment | ||
) |
size_t hobbes::findThreadRegion | ( | const std::string & | n | ) |
std::vector<L> hobbes::first | ( | const std::vector< std::pair< L, R > > & | xs | ) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
MaybePathPoints hobbes::focusOnFundep | ( | const VarIDs & | vs, |
const MonoTypes & | mts | ||
) |
state_transitions hobbes::follow | ( | const grammar & | g, |
const itemset & | is, | ||
const terminalset & | vs, | ||
parserdef * | p | ||
) |
transition_lookahead hobbes::Follow | ( | const parserdef & | p, |
const transitionset & | ts | ||
) |
nat hobbes::follow | ( | const state_transitions & | st, |
terminal * | t | ||
) |
nat hobbes::follow | ( | const parserdef & | p, |
const transition & | x | ||
) |
bool hobbes::follows | ( | const state_transitions & | st, |
terminal * | t | ||
) |
bool hobbes::forConvertibility | ( | const PatternPtr & | p | ) |
void hobbes::freeParserData | ( | ) |
const MonoTypePtr & hobbes::frefType | ( | const MonoTypePtr & | fref | ) |
ConstraintPtr hobbes::freshen | ( | const ConstraintPtr & | cst | ) |
Constraints hobbes::freshen | ( | const Constraints & | cs | ) |
TVName hobbes::freshName | ( | ) |
Names hobbes::freshNames | ( | int | vs | ) |
MonoTypePtr hobbes::freshTypeVar | ( | ) |
MonoTypes hobbes::freshTypeVars | ( | int | vs | ) |
|
inline |
|
inline |
|
inline |
|
inline |
PolyTypePtr hobbes::generalize | ( | const QualTypePtr & | qt | ) |
T* hobbes::get | ( | variant< Ctors... > & | v | ) |
const T* hobbes::get | ( | const variant< Ctors... > & | v | ) |
array<RegionState>* hobbes::getMemoryPool | ( | ) |
std::map<K, V>::iterator hobbes::gleb | ( | std::map< K, V > & | m, |
const K & | x | ||
) |
NamedPatternGroups hobbes::groupRecordPatterns | ( | const Patterns & | ps | ) |
NamedPatternGroups hobbes::groupVariantPatterns | ( | const Patterns & | ps | ) |
bool hobbes::hasConstraint | ( | const ConstraintPtr & | c, |
const Constraints & | cs | ||
) |
bool hobbes::hasConstraint | ( | const ConstraintPtr & | c, |
const QualTypePtr & | qt | ||
) |
bool hobbes::hasFreeVariables | ( | const QualTypePtr & | qt | ) |
bool hobbes::hasFreeVariables | ( | const Constraints & | cs | ) |
bool hobbes::hasFreeVariables | ( | const ConstraintPtr & | c | ) |
bool hobbes::hasFreeVariables | ( | const MonoTypePtr & | mt | ) |
bool hobbes::hasFreeVariables | ( | const MonoTypes & | mts | ) |
size_t hobbes::hash | ( | const PatternRow & | pr | ) |
|
inline |
|
inline |
|
inline |
|
inline |
|
static |
bool hobbes::hasSingularType | ( | const ExprPtr & | e | ) |
|
static |
hobbes::HOBBES_LIFT_PRIMITIVE | ( | void | , |
unit | |||
) |
hobbes::HOBBES_LIFT_PRIMITIVE | ( | bool | , |
bool | |||
) |
hobbes::HOBBES_LIFT_PRIMITIVE | ( | char | , |
char | |||
) |
hobbes::HOBBES_LIFT_PRIMITIVE | ( | unsigned | char, |
byte | |||
) |
hobbes::HOBBES_LIFT_PRIMITIVE | ( | short | , |
short | |||
) |
hobbes::HOBBES_LIFT_PRIMITIVE | ( | unsigned | short, |
short | |||
) |
hobbes::HOBBES_LIFT_PRIMITIVE | ( | int | , |
int | |||
) |
hobbes::HOBBES_LIFT_PRIMITIVE | ( | unsigned | int, |
int | |||
) |
hobbes::HOBBES_LIFT_PRIMITIVE | ( | long | , |
long | |||
) |
hobbes::HOBBES_LIFT_PRIMITIVE | ( | unsigned | long, |
long | |||
) |
hobbes::HOBBES_LIFT_PRIMITIVE | ( | float | , |
float | |||
) |
hobbes::HOBBES_LIFT_PRIMITIVE | ( | double | , |
double | |||
) |
|
static |
|
static |
|
static |
|
static |
void hobbes::import | ( | cc * | e, |
const std::string & | mname | ||
) |
void hobbes::importDefs | ( | const Record::Members & | ms, |
Record::Members * | out | ||
) |
bool hobbes::importObject | ( | cc * | e, |
const std::string & | sopath | ||
) |
bool hobbes::importScript | ( | cc * | e, |
const std::string & | fname | ||
) |
bool hobbes::in | ( | T | x, |
const std::set< T > & | xs | ||
) |
bool hobbes::in | ( | T | x, |
const std::vector< T > & | xs | ||
) |
|
inline |
void hobbes::includeFundep | ( | const Constraint & | c, |
const FunDep & | fd, | ||
FunDeps * | out | ||
) |
bool hobbes::includes | ( | const parserdef & | p, |
const transition & | x, | ||
const transition & | y | ||
) |
int hobbes::index | ( | const std::vector< T > & | xs, |
T | x | ||
) |
std::vector<int> hobbes::index | ( | const std::vector< T > & | xs, |
const std::vector< T > & | lxs | ||
) |
MonoTypePtr hobbes::inferFileType | ( | reader * | r | ) |
FunDeps hobbes::inferFundeps | ( | const TEnvPtr & | tenv, |
const Constraints & | cs | ||
) |
void hobbes::initDefOperators | ( | cc * | c | ) |
void hobbes::initMacroEnvironment | ( | const TEnvPtr & | tenv | ) |
void hobbes::initNetworkDefs | ( | cc & | c | ) |
void hobbes::initSignalsDefs | ( | FieldVerifier * | fv, |
cc & | c | ||
) |
void hobbes::initStdFuncDefs | ( | cc & | ctx | ) |
void hobbes::initStorageFileDefs | ( | FieldVerifier * | fv, |
cc & | c | ||
) |
void hobbes::initStrPredicates | ( | const TEnvPtr & | tenv | ) |
MonoTypePtr hobbes::injFileReferences | ( | const MonoTypePtr & | ty, |
const ExprPtr & | f | ||
) |
ExprPtr hobbes::inLetExp | ( | const str::seq & | vns, |
const Exprs & | es, | ||
const ExprPtr & | b, | ||
const LexicalAnnotation & | la | ||
) |
void hobbes::insertFieldDefs | ( | const MkRecord::FieldDefs & | ifds, |
MkRecord::FieldDefs * | out | ||
) |
void hobbes::insertFieldDefs | ( | const MkRecord::FieldDefs & | ifds, |
size_t | c, | ||
MkRecord::FieldDefs * | out | ||
) |
void hobbes::insertFieldDefsFromProj | ( | const ExprPtr & | rec, |
const Record * | rty, | ||
MkRecord::FieldDefs * | out | ||
) |
void hobbes::insertFieldDefsFromProj | ( | const ExprPtr & | rec, |
const MonoTypePtr & | rty, | ||
MkRecord::FieldDefs * | out | ||
) |
void hobbes::insertFieldDefsFromProj | ( | const ExprPtr & | rec, |
MkRecord::FieldDefs * | out | ||
) |
void hobbes::insertFieldDefsSfx | ( | const MkRecord::FieldDefs & | ifds, |
size_t | c, | ||
MkRecord::FieldDefs * | out | ||
) |
|
static |
int hobbes::installHTTPD | ( | int | port, |
HTTPRequestHandler | f, | ||
void * | ud = 0 |
||
) |
int hobbes::installNetREPL | ( | int | port, |
Server * | svr | ||
) |
int hobbes::installNetREPL | ( | const std::string & | filepath, |
Server * | svr | ||
) |
int hobbes::installNetREPL | ( | int | port, |
cc * | c | ||
) |
int hobbes::installNetREPL | ( | const std::string & | filepath, |
cc * | c | ||
) |
QualTypePtr hobbes::instantiate | ( | int | vs, |
const QualTypePtr & | scheme | ||
) |
Constraints hobbes::instantiate | ( | int | vs, |
const Constraints & | cs | ||
) |
ConstraintPtr hobbes::instantiate | ( | int | vs, |
const ConstraintPtr & | c | ||
) |
MonoTypePtr hobbes::instantiate | ( | int | vs, |
const MonoTypePtr & | mt | ||
) |
QualTypePtr hobbes::instantiate | ( | const Names & | ns, |
const QualTypePtr & | scheme | ||
) |
Constraints hobbes::instantiate | ( | const Names & | ns, |
const Constraints & | cs | ||
) |
ConstraintPtr hobbes::instantiate | ( | const Names & | ns, |
const ConstraintPtr & | c | ||
) |
MonoTypePtr hobbes::instantiate | ( | const Names & | ns, |
const MonoTypePtr & | mt | ||
) |
QualTypePtr hobbes::instantiate | ( | const MonoTypes & | ts, |
const QualTypePtr & | scheme | ||
) |
Constraints hobbes::instantiate | ( | const MonoTypes & | ts, |
const Constraints & | cs | ||
) |
ConstraintPtr hobbes::instantiate | ( | const MonoTypes & | ts, |
const ConstraintPtr & | c | ||
) |
MonoTypePtr hobbes::instantiate | ( | const MonoTypes & | ts, |
const MonoTypePtr & | mt | ||
) |
|
inline |
int hobbes::invocationID | ( | const proc & | p, |
const std::string & | fname, | ||
const MonoTypePtr & | hasty | ||
) |
hobbes::IOP | ( | not | , |
CreateNot | , | ||
bool | , | ||
bool | |||
) |
hobbes::IOP | ( | bnot | , |
CreateNot | , | ||
unsigned | char, | ||
unsigned | char | ||
) |
hobbes::IOP | ( | sneg | , |
CreateNeg | , | ||
short | , | ||
short | |||
) |
hobbes::IOP | ( | ineg | , |
CreateNeg | , | ||
int | , | ||
int | |||
) |
hobbes::IOP | ( | lneg | , |
CreateNeg | , | ||
long | , | ||
long | |||
) |
hobbes::IOP | ( | fneg | , |
CreateFNeg | , | ||
float | , | ||
float | |||
) |
hobbes::IOP | ( | dneg | , |
CreateFNeg | , | ||
double | , | ||
double | |||
) |
const T* hobbes::is | ( | const S * | s | ) |
T* hobbes::is | ( | const std::shared_ptr< S > & | s | ) |
bool hobbes::isAllocatedConnection | ( | Client * | c | ) |
bool hobbes::isClassMember | ( | const TEnvPtr & | tenv, |
const std::string & | memberName | ||
) |
bool hobbes::isClassSatisfiable | ( | const TEnvPtr & | tenv, |
const std::string & | cname, | ||
const MonoTypes & | tys, | ||
Definitions * | ds | ||
) |
bool hobbes::isClassSatisfied | ( | const TEnvPtr & | tenv, |
const std::string & | cname, | ||
const MonoTypes & | tys, | ||
Definitions * | ds | ||
) |
bool hobbes::isConst | ( | const ExprPtr & | e | ) |
bool hobbes::isDBFile | ( | const std::string & | fname | ) |
|
static |
|
static |
bool hobbes::isFileRef | ( | const MonoTypePtr & | mt | ) |
bool hobbes::isFileType | ( | const MonoTypePtr & | fty | ) |
bool hobbes::isFreeVarNameIn | ( | const TVName & | n, |
const MonoTypePtr & | t | ||
) |
|
inline |
|
inline |
bool hobbes::isLiteralFnTerm | ( | const ExprPtr & | e | ) |
T* hobbes::isM | ( | S * | s | ) |
|
inline |
bool hobbes::isMonoSingular | ( | const MonoType & | mt | ) |
bool hobbes::isMonoSingular | ( | const MonoType * | mt | ) |
bool hobbes::isMonoSingular | ( | const MonoTypePtr & | mt | ) |
bool hobbes::isMonoSingular | ( | const QualTypePtr & | qt | ) |
bool hobbes::isMonotype | ( | const QualTypePtr & | qt | ) |
bool hobbes::isMonotype | ( | const PolyTypePtr & | pt | ) |
bool hobbes::isNonTerminal | ( | const ParserEvalInfo & | pei, |
terminal * | t | ||
) |
bool hobbes::isPartialConnection | ( | const MonoTypePtr & | t | ) |
bool hobbes::isPrimName | ( | const std::string & | tn | ) |
bool hobbes::isPrimSelection | ( | bool | alwaysLowerPrimMatchTables, |
const PatternRows & | ps | ||
) |
bool hobbes::isRecordLike | ( | const MonoTypePtr & | mt | ) |
bool hobbes::isSafeExistentialType | ( | const Exists * | e | ) |
bool hobbes::isTupleDesc | ( | const Record::Members & | ms | ) |
bool hobbes::isTupleLike | ( | const std::string & | fname | ) |
bool hobbes::isTupleLike | ( | const Record::Members & | ms | ) |
bool hobbes::isTupleLike | ( | const MkRecord::FieldDefs & | fds | ) |
|
inline |
bool hobbes::isUnitPat | ( | const PatternPtr & | p | ) |
|
inline |
|
static |
MonoTypePtr hobbes::joinedRecord | ( | const MonoTypePtr & | lhs, |
const MonoTypePtr & | rhs | ||
) |
QualTypePtr hobbes::joinedRecord | ( | const QualTypePtr & | lhs, |
const QualTypePtr & | rhs | ||
) |
|
inline |
std::set<K> hobbes::keys | ( | const std::map< K, V > & | m | ) |
lrtable hobbes::lalrTable | ( | const parserdef & | pd, |
const precedence & | p = precedence() |
||
) |
lrtable hobbes::lalrTable | ( | const grammar & | g, |
terminal * | s, | ||
const precedence & | p = precedence() |
||
) |
ExprPtr hobbes::lengthOf | ( | const ExprPtr & | arr, |
const LexicalAnnotation & | la | ||
) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
ExprPtr hobbes::liftDFAExpr | ( | cc * | c, |
const PatternRows & | ps, | ||
const LexicalAnnotation & | rootLA | ||
) |
ExprPtr hobbes::liftDFAExpr | ( | MDFA * | dfa, |
stateidx_t | state | ||
) |
ExprPtr hobbes::liftDFAExprWithSwitchCompression | ( | MDFA * | dfa, |
stateidx_t | state | ||
) |
ExprPtr hobbes::liftPrimMatchExpr | ( | MDFA * | dfa, |
stateidx_t | state | ||
) |
QualLiftedMonoTypes hobbes::liftQualifiers | ( | const QualTypes & | qts | ) |
std::vector<T> hobbes::list | ( | ) |
std::vector<T> hobbes::list | ( | const T & | x, |
const Ts &... | xs | ||
) |
PrimitivePtr hobbes::litValue | ( | const MatchLiteral & | ml | ) |
llvm::Type* hobbes::llvmPrim | ( | const std::string & | name, |
bool | asArg | ||
) |
llvm::Type * hobbes::llvmVarArrType | ( | llvm::Type * | elemty, |
int | size = 1 |
||
) |
ldblines hobbes::load | ( | const linedb::ptr & | ldb, |
const linedb::LineCol & | i, | ||
const linedb::LineCol & | f | ||
) |
|
static |
size_t hobbes::localState | ( | const GlobalToLocalState & | localstate, |
stateidx_t | state | ||
) |
|
inline |
bool hobbes::lookback | ( | const parserdef & | p, |
nat | q, | ||
terminal * | r, | ||
const rule & | w, | ||
const transition & | t | ||
) |
bool hobbes::looksLikeSum | ( | const Variant::Members & | ms | ) |
|
inline |
QualTypePtr hobbes::lookupFieldType | ( | const QualTypePtr & | qt, |
const std::string & | fieldName | ||
) |
MonoTypePtr hobbes::lookupFieldType | ( | const MonoTypePtr & | mt, |
const std::string & | fieldName | ||
) |
int hobbes::lookupPort | ( | const std::string & | x | ) |
long hobbes::lrand | ( | long | low, |
long | high | ||
) |
T* hobbes::make | ( | const Args &... | args | ) |
array<T>* hobbes::makeArray | ( | long | n | ) |
MStatePtr hobbes::makeArrayState | ( | MDFA * | dfa, |
const PatternRows & | ps, | ||
size_t | c | ||
) |
void hobbes::makeASAnyRow | ( | size_t | len, |
PatternRows * | out, | ||
const PatternRow & | r, | ||
size_t | c | ||
) |
void hobbes::makeASplitRow | ( | const MatchArray & | ma, |
PatternRows * | out, | ||
const PatternRow & | r, | ||
size_t | c | ||
) |
stateidx_t hobbes::makeASSuccState | ( | const std::string & | arrayVar, |
size_t | len, | ||
MDFA * | dfa, | ||
const PatternRows & | nps | ||
) |
MStatePtr hobbes::makeASSwitch | ( | const std::string & | arrayVar, |
MDFA * | dfa, | ||
const std::vector< std::pair< size_t, stateidx_t > > & | lenjmps, | ||
stateidx_t | defState | ||
) |
MStatePtr hobbes::makeCharArrayState | ( | MDFA * | dfa, |
const PatternRows & | ps, | ||
size_t | c | ||
) |
void hobbes::makeCompiledPrimMatchFunction | ( | const std::string & | fname, |
MDFA * | dfa, | ||
stateidx_t | state | ||
) |
Client* hobbes::makeConnection | ( | const std::string & | hp | ) |
MonoTypePtr hobbes::makeConnType | ( | Client * | c | ) |
stateidx_t hobbes::makeDFA | ( | MDFA * | dfa, |
const PatternRows & | ps, | ||
const LexicalAnnotation & | la | ||
) |
void hobbes::makeDFAFunc | ( | cc * | c, |
const std::string & | fname, | ||
const DFA & | dfa, | ||
const LexicalAnnotation & | rootLA | ||
) |
stateidx_t hobbes::makeDFAState | ( | MDFA * | dfa, |
const PatternRows & | ps | ||
) |
MonoTypePtr hobbes::makeFileRef | ( | const MonoTypePtr & | ty, |
const MonoTypePtr & | f | ||
) |
ExprPtr hobbes::makeInputParserState | ( | const ParserEvalInfo & | pei, |
size_t | i | ||
) |
void hobbes::makeInterpretedPrimMatchFunction | ( | const std::string & | fname, |
MDFA * | dfa, | ||
stateidx_t | state | ||
) |
MStatePtr hobbes::makeLiteralState | ( | MDFA * | dfa, |
const PatternRows & | ps, | ||
size_t | c | ||
) |
void hobbes::makeLitSplitRow | ( | const MatchLiteral & | , |
PatternRows * | out, | ||
const PatternRow & | r, | ||
size_t | c | ||
) |
void hobbes::makeLSAnyRow | ( | PrimitivePtr | , |
PatternRows * | out, | ||
const PatternRow & | r, | ||
size_t | c | ||
) |
MStatePtr hobbes::makeLSCvtSwitch | ( | const std::string & | switchVar, |
MDFA * | dfa, | ||
const SwitchVal::Jumps & | jmps, | ||
stateidx_t | defState | ||
) |
stateidx_t hobbes::makeLSSuccState | ( | const std::string & | , |
PrimitivePtr | , | ||
MDFA * | dfa, | ||
const PatternRows & | nps | ||
) |
MStatePtr hobbes::makeLSSwitch | ( | const std::string & | switchVar, |
MDFA * | dfa, | ||
const SwitchVal::Jumps & | jmps, | ||
stateidx_t | defState | ||
) |
size_t hobbes::makeMemRegion | ( | const array< char > * | n | ) |
ExprPtr hobbes::makeOutputParserState | ( | const ParserEvalInfo & | pei, |
size_t | i | ||
) |
ExprPtr hobbes::makeParser | ( | cc * | c, |
const Parser & | p, | ||
const precedence & | prec, | ||
const LexicalAnnotation & | la | ||
) |
ExprPtr hobbes::makeParser | ( | cc * | c, |
const Parser & | p, | ||
terminal * | root, | ||
const precedence & | prec, | ||
const LexicalAnnotation & | la | ||
) |
ExprPtr hobbes::makeParser | ( | cc * | c, |
const Grammar & | g, | ||
const LexicalAnnotation & | la | ||
) |
LetRec::Bindings hobbes::makeParserStates | ( | const ParserEvalInfo & | pei | ) |
PrimFArgs hobbes::makePrimFArgs | ( | const PatternRows & | ps | ) |
llvm::Function* hobbes::makePrimMatchDFAFunc | ( | const std::string & | fname, |
MDFA * | dfa, | ||
stateidx_t | s, | ||
const PrimFArgs & | args | ||
) |
ExprPtr hobbes::makeRecord | ( | const MkRecord::FieldDefs & | fds, |
const LexicalAnnotation & | la | ||
) |
Record::Members hobbes::makeRecordMembers | ( | const MkRecord::FieldDefs & | fds, |
const MonoTypes & | mts | ||
) |
MStatePtr hobbes::makeRecordState | ( | MDFA * | dfa, |
const PatternRows & | ps, | ||
size_t | c | ||
) |
MonoTypePtr hobbes::makeRecordType | ( | const Record::Members & | ms | ) |
|
inline |
ExprPtr hobbes::makeReduction | ( | const ParserEvalInfo & | pei, |
size_t | i, | ||
terminal * | sym, | ||
size_t | rule | ||
) |
ExprPtr hobbes::makeRegexCaptureBuffer | ( | const Regexes & | regexes, |
const LexicalAnnotation & | rootLA | ||
) |
CRegexes hobbes::makeRegexFn | ( | cc * | c, |
const Regexes & | regexes, | ||
const LexicalAnnotation & | rootLA | ||
) |
MStatePtr hobbes::makeRegexState | ( | MDFA * | dfa, |
const PatternRows & | ps, | ||
size_t | c | ||
) |
MStatePtr hobbes::makeSplitState | ( | MDFA * | dfa, |
const PatternRows & | ps, | ||
size_t | c | ||
) |
std::string hobbes::makeStdString | ( | const array< char > * | x | ) |
const array< char > * hobbes::makeString | ( | const std::string & | x | ) |
const array< char > * hobbes::makeString | ( | const char * | s, |
size_t | len | ||
) |
MStatePtr hobbes::makeSuccState | ( | MDFA * | dfa, |
const PatternRows & | ps, | ||
size_t | c | ||
) |
MStatePtr hobbes::makeSwitch | ( | const MDFA * | dfa, |
const std::string & | switchVar, | ||
const SwitchVal::Jumps & | jmps, | ||
stateidx_t | defState | ||
) |
ExprPtr hobbes::makeTuple | ( | const Exprs & | exprs, |
const LexicalAnnotation & | la | ||
) |
void hobbes::makeVariantSplitRow | ( | const MatchVariant & | mv, |
PatternRows * | out, | ||
const PatternRow & | r, | ||
size_t | c | ||
) |
MStatePtr hobbes::makeVariantState | ( | MDFA * | dfa, |
const PatternRows & | ps, | ||
size_t | c | ||
) |
void hobbes::makeVSAnyRow | ( | std::string | , |
PatternRows * | out, | ||
const PatternRow & | r, | ||
size_t | c | ||
) |
stateidx_t hobbes::makeVSSuccState | ( | const std::string & | , |
std::string | , | ||
MDFA * | dfa, | ||
const PatternRows & | nps | ||
) |
MStatePtr hobbes::makeVSSwitch | ( | const std::string & | switchVar, |
MDFA * | dfa, | ||
const SwitchVariant::CtorJumps & | jmps, | ||
stateidx_t | defState | ||
) |
|
static |
V hobbes::mapLookup | ( | const std::map< K, V > & | m, |
const K & | k | ||
) |
fregion& hobbes::mappedFileRegion | ( | imagefile * | f, |
file_pageindex_t | page, | ||
size_t | pages | ||
) |
void hobbes::mapStatesFrom | ( | MDFA * | dfa, |
stateidx_t | state, | ||
GlobalToLocalState * | localstate | ||
) |
void hobbes::markBadFD | ( | int | fd | ) |
size_t hobbes::maSize | ( | const MatchArray & | ma | ) |
MonoTypes hobbes::matchRowType | ( | const TEnvPtr & | tenv, |
const PatternRows & | ps | ||
) |
unsigned int hobbes::maxFieldAlignmentF | ( | const Record::Members & | ms | ) |
size_t hobbes::maxStringLen | ( | const PatternRows & | ps, |
size_t | c | ||
) |
|
inline |
char * hobbes::memalloc | ( | long | n | ) |
char* hobbes::memallocz | ( | long | n | ) |
Constraints hobbes::mergeConstraints | ( | const Constraints & | lhs, |
const Constraints & | rhs | ||
) |
void hobbes::mergeConstraints | ( | const Constraints & | fcs, |
Constraints * | tcs | ||
) |
|
inline |
void hobbes::mgu | ( | const ExprPtr & | e0, |
const ExprPtr & | e1, | ||
MonoTypeUnifier * | u | ||
) |
void hobbes::mgu | ( | const ExprPtr & | e, |
const QualTypePtr & | t, | ||
MonoTypeUnifier * | u | ||
) |
void hobbes::mgu | ( | const ExprPtr & | e, |
const MonoTypePtr & | t, | ||
MonoTypeUnifier * | u | ||
) |
void hobbes::mgu | ( | const QualTypePtr & | t0, |
const QualTypePtr & | t1, | ||
MonoTypeUnifier * | u | ||
) |
void hobbes::mgu | ( | const MonoTypePtr & | t0, |
const MonoTypePtr & | t1, | ||
MonoTypeUnifier * | u | ||
) |
void hobbes::mgu | ( | const MonoTypes & | ts0, |
const MonoTypes & | ts1, | ||
MonoTypeUnifier * | u | ||
) |
void hobbes::mgu | ( | const ConstraintPtr & | c0, |
const ConstraintPtr & | c1, | ||
MonoTypeUnifier * | u | ||
) |
|
static |
bool hobbes::mightRewriteToSLookup | ( | const TEnvPtr & | tenv, |
const MonoTypePtr & | rty, | ||
const MonoTypePtr & | fieldName, | ||
const MonoTypePtr & | fty, | ||
Definitions * | ds | ||
) |
|
inline |
|
inline |
|
inline |
ExprPtr hobbes::mkDateTimeExpr | ( | const std::string & | x, |
const LexicalAnnotation & | la | ||
) |
PrimitivePtr hobbes::mkDateTimePrim | ( | const std::string & | x, |
const LexicalAnnotation & | la | ||
) |
ExprPtr hobbes::mkFormatExpr | ( | const std::string & | fmt, |
const LexicalAnnotation & | la | ||
) |
MonoTypePtr hobbes::mkFR | ( | const MonoTypePtr & | t | ) |
|
inline |
|
inline |
MonoTypePtr hobbes::mkPidTy | ( | long | pid | ) |
|
inline |
|
inline |
ExprPtr hobbes::mkTimeExpr | ( | const std::string & | x, |
const LexicalAnnotation & | la | ||
) |
PrimitivePtr hobbes::mkTimePrim | ( | const std::string & | x, |
const LexicalAnnotation & | la | ||
) |
ExprPtr hobbes::mkTimespanExpr | ( | const str::seq & | x, |
const LexicalAnnotation & | la | ||
) |
PrimitivePtr hobbes::mkTimespanPrim | ( | const str::seq & | x, |
const LexicalAnnotation & | la | ||
) |
|
inline |
|
inline |
|
static |
std::string hobbes::moveToUniqueFilename | ( | const std::string & | oldpath, |
const std::string & | fprefix, | ||
const std::string & | fsuffix | ||
) |
int hobbes::nameIndex | ( | const NameIndexing & | ns, |
const std::string & | vn | ||
) |
std::vector<int> hobbes::nameIndex | ( | const NameIndexing & | ns, |
const str::seq & | vns | ||
) |
NameIndexing hobbes::nameIndexing | ( | const str::seq & | ns | ) |
NameIndexing hobbes::nameIndexing | ( | const std::set< std::string > & | ns | ) |
bool hobbes::needsOutputFunction | ( | const ParserEvalInfo & | pei, |
size_t | i | ||
) |
long hobbes::newThread | ( | char * | clos | ) |
terminalset hobbes::next | ( | const grammar & | g, |
const itemset & | is | ||
) |
terminalset hobbes::nextPrim | ( | const grammar & | g, |
const itemset & | is | ||
) |
size_t hobbes::nextVisibleMember | ( | size_t | i, |
const Variant::Members & | ms | ||
) |
unsigned int hobbes::nextVisibleMember | ( | unsigned int | i, |
const Record::Members & | ms | ||
) |
stateset hobbes::nfaTransition | ( | const NFA & | nfa, |
const EpsClosure & | ec, | ||
const stateset & | ss, | ||
const CharRange & | cr | ||
) |
Variant::Members hobbes::normalizeCtorIDs | ( | const Variant::Members & | ms | ) |
MonoTypePtr hobbes::normalizeCtorIDs | ( | const MonoTypePtr & | t | ) |
void hobbes::normalizeRecAccess | ( | const Patterns & | ps | ) |
void hobbes::normalizeRecAccess | ( | const PatternRows & | prs | ) |
void hobbes::normalizeRecPatterns | ( | MatchRecord * | r, |
const std::set< std::string > & | fnames | ||
) |
void hobbes::normalizeRecPatterns | ( | const Patterns & | ps, |
const std::set< std::string > & | fnames | ||
) |
|
static |
|
static |
MonoTypePtr hobbes::normIfOpaquePtr | ( | const MonoTypePtr & | ty | ) |
|
inline |
|
inline |
datetimeT hobbes::now | ( | ) |
MonoTypePtr hobbes::objViewToFlatView | ( | const MonoTypePtr & | obj, |
const Func * | fty | ||
) |
|
inline |
|
inline |
|
inline |
|
inline |
MonoTypePtr hobbes::opaqueptr | ( | bool | insertcontig | ) |
|
static |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
std::ostream & hobbes::operator<< | ( | std::ostream & | out, |
const action & | act | ||
) |
|
inline |
bool hobbes::operator== | ( | const PatternRow & | pr0, |
const PatternRow & | pr1 | ||
) |
void hobbes::overridePatVarCtor | ( | PatVarCtorFn | f | ) |
void hobbes::overrideVarCtor | ( | VarCtorFn | f | ) |
|
inline |
size_t hobbes::packedSValues | ( | size_t | cs | ) |
|
inline |
size_t hobbes::pageCount | ( | const imagefile * | f, |
size_t | sz | ||
) |
reader::PageEntries* hobbes::pageEntries | ( | reader * | r | ) |
|
inline |
|
inline |
|
static |
size_t hobbes::parseDepth | ( | const ParserEvalInfo & | pei, |
size_t | i | ||
) |
ExprPtr hobbes::parseFailure | ( | const ParserEvalInfo & | pei, |
size_t | i | ||
) |
RegexPtr hobbes::parseRegex | ( | const std::string & | x | ) |
MonoTypePtr hobbes::parseResultType | ( | const ParserEvalInfo & | pei | ) |
MonoTypePtr hobbes::parseVariant | ( | const ParserEvalInfo & | pei | ) |
const TLong * hobbes::pidTy | ( | const MonoTypePtr & | mty | ) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
void hobbes::popModuleDir | ( | ) |
|
static |
void hobbes::prepareEvalInfo | ( | cc * | c, |
const Parser & | p, | ||
terminal * | root, | ||
const precedence & | prec, | ||
ParserEvalInfo * | pei, | ||
const LexicalAnnotation & | la | ||
) |
void hobbes::prepareStrExpr | ( | Server * | s, |
int | c, | ||
exprid | eid, | ||
const std::string & | expr, | ||
const MonoTypes & | intys, | ||
const MonoTypePtr & | outty | ||
) |
void hobbes::prependPatterns | ( | PatternRow * | row, |
const Patterns & | ps | ||
) |
|
inline |
|
inline |
hobbes::PRIM_CODEC | ( | bool | ) |
hobbes::PRIM_CODEC | ( | unsigned | char | ) |
hobbes::PRIM_CODEC | ( | char | ) |
hobbes::PRIM_CODEC | ( | short | ) |
hobbes::PRIM_CODEC | ( | int | ) |
hobbes::PRIM_CODEC | ( | long | ) |
hobbes::PRIM_CODEC | ( | size_t | ) |
hobbes::PRIM_CODEC | ( | float | ) |
hobbes::PRIM_CODEC | ( | double | ) |
|
inline |
|
inline |
void hobbes::print | ( | std::ostream & | out, |
const NFA & | nfa | ||
) |
void hobbes::print | ( | std::ostream & | out, |
const EpsClosure & | ec | ||
) |
void hobbes::print | ( | std::ostream & | out, |
const DFA & | dfa | ||
) |
void hobbes::printConnectionUF | ( | long | x | ) |
void hobbes::printFileUF | ( | long | x | ) |
void hobbes::printMatchExp | ( | std::ostream & | out, |
const ExprPtr & | e | ||
) |
void hobbes::printMatchResult | ( | std::ostream & | out, |
const ExprPtr & | e | ||
) |
void hobbes::printMatchResult | ( | const std::string & | indent, |
std::ostream & | out, | ||
const ExprPtr & | e | ||
) |
void hobbes::printMatchTable | ( | std::ostream & | out, |
const PatternRows & | prs | ||
) |
void hobbes::printMemoryPool | ( | ) |
void hobbes::procDefine | ( | proc * | p, |
const std::string & | vname, | ||
const std::string & | x | ||
) |
void hobbes::procEval | ( | proc * | p, |
const std::string & | x | ||
) |
PrepProcExpr hobbes::procPrepareExpr | ( | const proc & | p, |
const ExprPtr & | e | ||
) |
void hobbes::procRead | ( | proc * | p, |
std::ostream * | o, | ||
uint64_t | waitUS = 0 |
||
) |
void hobbes::procTypeEnv | ( | proc * | p | ) |
void hobbes::procTypeof | ( | proc * | p, |
const std::string & | x | ||
) |
|
inline |
|
inline |
|
inline |
|
inline |
bool hobbes::pullTypeArg | ( | const std::string & | fname, |
size_t | idx, | ||
MonoTypePtr * | p, | ||
const MonoTypePtr & | ty | ||
) |
void hobbes::pushModuleDir | ( | const std::string & | d | ) |
void hobbes::putStr | ( | array< char > * | x | ) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
static |
double hobbes::random | ( | double | low, |
double | high | ||
) |
std::vector<T> hobbes::range | ( | const T & | i, |
const T & | e | ||
) |
void hobbes::read | ( | const imagefile * | f, |
T * | x | ||
) |
void hobbes::read | ( | imagefile * | f, |
std::string * | x | ||
) |
void hobbes::read | ( | imagefile * | f, |
std::vector< unsigned char > * | xs | ||
) |
T hobbes::read | ( | const bytes & | in, |
unsigned int * | n | ||
) |
DCharset hobbes::readCharset | ( | const std::string & | x, |
size_t | i | ||
) |
|
inline |
|
static |
|
static |
|
static |
long hobbes::readFileRT | ( | const array< char > * | fname, |
long | tydef | ||
) |
void hobbes::readOrMark | ( | int | fd, |
char * | b, | ||
size_t | sz | ||
) |
void hobbes::readPageData | ( | imagefile * | f | ) |
bool hobbes::reads | ( | const parserdef & | p, |
const transition & | x, | ||
const transition & | y | ||
) |
void hobbes::reads | ( | const imagefile * | f, |
size_t | sz, | ||
T * | x | ||
) |
transition_lookahead hobbes::Reads | ( | const parserdef & | p, |
const transitionset & | ts | ||
) |
size_t hobbes::reads | ( | const ArgPos & | argpos, |
const std::string & | a | ||
) |
|
inline |
|
inline |
|
inline |
ExprPtr hobbes::recordAppendFunction | ( | const MonoTypePtr & | lty, |
const MonoTypePtr & | rty, | ||
const MonoTypePtr & | resty, | ||
const LexicalAnnotation & | la | ||
) |
Patterns hobbes::recordFieldPatterns | ( | const MatchRecord & | mr | ) |
const Record::Members& hobbes::recordMembers | ( | const MonoTypePtr & | mt | ) |
MonoTypePtr hobbes::recordPrefix | ( | const TEnvPtr & | tenv, |
const MonoTypePtr & | rhs, | ||
const MonoTypePtr & | result | ||
) |
ExprPtr hobbes::recordPrefix | ( | const ExprPtr & | rec, |
const MonoTypePtr & | resty | ||
) |
ExprPtr hobbes::recordPrefixFunction | ( | const MonoTypePtr & | recty, |
const MonoTypePtr & | resty, | ||
const LexicalAnnotation & | la | ||
) |
MonoTypePtr hobbes::recordSuffix | ( | const TEnvPtr & | tenv, |
const MonoTypePtr & | lhs, | ||
const MonoTypePtr & | result | ||
) |
ExprPtr hobbes::recordSuffix | ( | const ExprPtr & | rec, |
const MonoTypePtr & | resty | ||
) |
ExprPtr hobbes::recordSuffixFunction | ( | const MonoTypePtr & | recty, |
const MonoTypePtr & | resty, | ||
const LexicalAnnotation & | la | ||
) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
bool hobbes::refine | ( | const TEnvPtr & | tenv, |
const ConstraintPtr & | c, | ||
MonoTypeUnifier * | s, | ||
Definitions * | ds | ||
) |
bool hobbes::refine | ( | const TEnvPtr & | tenv, |
const Constraints & | cs, | ||
MonoTypeUnifier * | s, | ||
Definitions * | ds | ||
) |
bool hobbes::refine | ( | const TEnvPtr & | tenv, |
const QualTypePtr & | qty, | ||
MonoTypeUnifier * | s, | ||
Definitions * | ds | ||
) |
bool hobbes::refine | ( | const TEnvPtr & | tenv, |
const ExprPtr & | e, | ||
MonoTypeUnifier * | s, | ||
Definitions * | ds | ||
) |
MonoTypePtr hobbes::refinedType | ( | const proc & | p, |
const std::string & | fname, | ||
const MonoTypePtr & | hasty | ||
) |
bool hobbes::refutable | ( | const PatternPtr & | p | ) |
MonoTypePtr hobbes::regexCaptureBufferType | ( | const Regexes & | regexes | ) |
void hobbes::registerEventHandler | ( | int | fd, |
const std::function< void(int)> & | fn, | ||
bool | vn = false |
||
) |
void hobbes::registerEventHandler | ( | int | fd, |
eventhandler | f, | ||
void * | ud, | ||
bool | vn = false |
||
) |
void hobbes::registerNetREPL | ( | int | s, |
Server * | svr | ||
) |
const array<char>* hobbes::releaseStdout | ( | ) |
std::string hobbes::remoteHostname | ( | int | socket | ) |
Constraints hobbes::removeConstraint | ( | const ConstraintPtr & | c, |
const Constraints & | cs | ||
) |
QualTypePtr hobbes::removeConstraint | ( | const ConstraintPtr & | c, |
const QualTypePtr & | qt | ||
) |
void hobbes::removeThreadRegion | ( | size_t | n | ) |
Record::Members hobbes::removeUnit | ( | const Record::Members & | ms | ) |
MonoTypePtr hobbes::requireMonotype | ( | const QualTypePtr & | qt | ) |
MonoTypePtr hobbes::requireMonotype | ( | const PolyTypePtr & | pt | ) |
const MonoTypePtr & hobbes::requireMonotype | ( | const ExprPtr & | e | ) |
|
static |
|
static |
void hobbes::resetMemoryPool | ( | ) |
TClass::Members hobbes::resolveMembers | ( | const MonoTypeSubst & | s, |
const MVarTypeDefs & | mvtds | ||
) |
void hobbes::resolveNames | ( | const NameIndexing & | ns, |
const CFunDepDef & | nfdep, | ||
FunDeps * | out | ||
) |
FunDeps hobbes::resolveNames | ( | const NameIndexing & | ns, |
const CFunDepDefs & | nfdeps | ||
) |
uint16_t hobbes::restInPage | ( | const imagefile * | f, |
size_t | idx | ||
) |
|
static |
|
static |
ExprPtr hobbes::rewriteSLookup | ( | const TEnvPtr & | tenv, |
const ExprPtr & | r, | ||
const std::string & | fieldName, | ||
const MonoTypePtr & | rty, | ||
const MonoTypePtr & | fty, | ||
Definitions * | ds, | ||
const LexicalAnnotation & | la | ||
) |
|
static |
MonoTypePtr hobbes::rewritesToSLookup | ( | const TEnvPtr & | tenv, |
const MonoTypePtr & | rty, | ||
const MonoTypePtr & | fieldName, | ||
const MonoTypePtr & | fty, | ||
Definitions * | ds | ||
) |
void* hobbes::runClosThread | ( | void * | clos | ) |
void hobbes::runEventLoop | ( | ) |
void hobbes::runEventLoop | ( | int | microsecondDuration | ) |
void hobbes::runEvery | ( | timespanT | dt, |
bool(*)() | pf | ||
) |
void hobbes::runMachineREPL | ( | cc * | c | ) |
void hobbes::runMachineREPLStep | ( | cc * | c | ) |
void hobbes::runParserOnBuffer | ( | cc * | c, |
int | initTok, | ||
YY_BUFFER_STATE | bs | ||
) |
void hobbes::runParserOnFile | ( | cc * | c, |
int | initTok, | ||
const std::string & | fname | ||
) |
void hobbes::runParserOnString | ( | cc * | c, |
int | initTok, | ||
const char * | s | ||
) |
Patterns hobbes::sarrayPatterns | ( | const std::string & | svarName, |
size_t | cs, | ||
const MatchArray & | ma | ||
) |
bool hobbes::satisfiable | ( | const UnqualifierPtr & | , |
const TEnvPtr & | , | ||
const ConstraintPtr & | , | ||
std::vector< std::pair< std::string, std::shared_ptr< Expr > > > * | |||
) |
bool hobbes::satisfiable | ( | const TEnvPtr & | tenv, |
const ConstraintPtr & | c, | ||
std::vector< std::pair< std::string, std::shared_ptr< Expr > > > * | |||
) |
bool hobbes::satisfiable | ( | const TEnvPtr & | tenv, |
const Constraints & | cs, | ||
std::vector< std::pair< std::string, std::shared_ptr< Expr > > > * | |||
) |
bool hobbes::satisfiable | ( | const UnqualifierPtr & | uq, |
const TEnvPtr & | tenv, | ||
const ConstraintPtr & | c, | ||
Definitions * | ds | ||
) |
bool hobbes::satisfiable | ( | const TEnvPtr & | tenv, |
const ConstraintPtr & | c, | ||
Definitions * | ds | ||
) |
bool hobbes::satisfiable | ( | const TEnvPtr & | tenv, |
const Constraints & | cs, | ||
Definitions * | ds | ||
) |
bool hobbes::satisfied | ( | const UnqualifierPtr & | , |
const TEnvPtr & | , | ||
const ConstraintPtr & | , | ||
std::vector< std::pair< std::string, std::shared_ptr< Expr > > > * | |||
) |
bool hobbes::satisfied | ( | const TEnvPtr & | tenv, |
const ConstraintPtr & | c, | ||
std::vector< std::pair< std::string, std::shared_ptr< Expr > > > * | |||
) |
bool hobbes::satisfied | ( | const TEnvPtr & | tenv, |
const Constraints & | cs, | ||
std::vector< std::pair< std::string, std::shared_ptr< Expr > > > * | |||
) |
bool hobbes::satisfied | ( | const UnqualifierPtr & | uq, |
const TEnvPtr & | tenv, | ||
const ConstraintPtr & | c, | ||
Definitions * | ds | ||
) |
bool hobbes::satisfied | ( | const TEnvPtr & | tenv, |
const ConstraintPtr & | c, | ||
Definitions * | ds | ||
) |
bool hobbes::satisfied | ( | const TEnvPtr & | tenv, |
const Constraints & | cs, | ||
Definitions * | ds | ||
) |
std::vector<R> hobbes::second | ( | const std::vector< std::pair< L, R > > & | xs | ) |
|
static |
T hobbes::select | ( | const std::vector< T > & | xs, |
I | i | ||
) |
std::vector<T> hobbes::select | ( | const std::vector< T > & | xs, |
I | b, | ||
I | e | ||
) |
std::vector<T> hobbes::select | ( | const std::vector< T > & | xs, |
const std::vector< I > & | is | ||
) |
std::pair<K, V> hobbes::select | ( | const std::map< K, V > & | m, |
K | k | ||
) |
std::vector< std::pair<K, V> > hobbes::select | ( | const std::map< K, V > & | m, |
const std::vector< K > & | ks | ||
) |
|
inline |
|
inline |
void hobbes::serializeGroundClasses | ( | const TEnvPtr & | tenv, |
std::ostream & | out | ||
) |
void hobbes::serializeGroundClasses | ( | const TEnvPtr & | tenv, |
const Classes & | cs, | ||
std::ostream & | out | ||
) |
void hobbes::serializeGroundInstance | ( | const TEnvPtr & | tenv, |
const TClass * | c, | ||
const TCInstancePtr & | inst, | ||
std::ostream & | out | ||
) |
void hobbes::serializeGroundInstances | ( | const TEnvPtr & | tenv, |
const TClass * | c, | ||
const TCInstances & | insts, | ||
std::ostream & | out | ||
) |
std::set<T> hobbes::set | ( | ) |
std::set<T> hobbes::set | ( | const T & | x, |
const Ts &... | xs | ||
) |
std::set<T> hobbes::setDifference | ( | const std::set< T > & | lhs, |
const std::set< T > & | rhs | ||
) |
std::set<T> hobbes::setDifference | ( | const std::set< T > & | lhs, |
const T & | x | ||
) |
size_t hobbes::setThreadRegion | ( | size_t | n | ) |
std::set<T> hobbes::setUnion | ( | const std::set< T > & | lhs, |
const std::set< T > & | rhs | ||
) |
std::set<T> hobbes::setUnion | ( | const std::vector< std::set< T > > & | ss | ) |
bool hobbes::shiftInstead | ( | const parserdef & | pd, |
const precedence & | px, | ||
nat | shs, | ||
terminal * | t, | ||
const action & | a | ||
) |
str::seq hobbes::shiftVarNames | ( | const ParserEvalInfo & | pei, |
size_t | fromS, | ||
size_t | toS | ||
) |
|
inline |
bool hobbes::shouldInlineState | ( | const MDFA * | dfa, |
stateidx_t | state | ||
) |
std::string hobbes::show | ( | const T * | t | ) |
std::string hobbes::show | ( | const std::vector< T *> & | ts | ) |
std::string hobbes::show | ( | const std::set< T > & | ts | ) |
std::string hobbes::show | ( | const PtrAdjustmentPath & | p | ) |
void hobbes::show | ( | std::ostream & | out, |
const Parser & | p | ||
) |
std::string hobbes::show | ( | const Expr & | e | ) |
std::string hobbes::show | ( | const Expr * | e | ) |
std::string hobbes::show | ( | const ExprPtr & | e | ) |
std::string hobbes::show | ( | const Definition & | d | ) |
std::string hobbes::show | ( | const PatternPtr & | p | ) |
std::string hobbes::show | ( | const Patterns & | ps | ) |
std::string hobbes::show | ( | const PatternRow & | pr | ) |
std::string hobbes::show | ( | const Module & | m | ) |
std::string hobbes::show | ( | const Module * | m | ) |
std::string hobbes::show | ( | const ModulePtr & | m | ) |
std::string hobbes::show | ( | const MTypeDef * | td | ) |
std::string hobbes::show | ( | const ClassDef & | cd | ) |
std::string hobbes::show | ( | const ClassDef * | cd | ) |
std::string hobbes::show | ( | const InstanceDef & | id | ) |
std::string hobbes::show | ( | const InstanceDef * | id | ) |
std::string hobbes::show | ( | const ModuleDefPtr & | md | ) |
std::string hobbes::show | ( | const CFunDepDef & | fundep | ) |
std::string hobbes::show | ( | const CFunDepDefs & | fundeps | ) |
std::string hobbes::show | ( | const TClassPtr & | x | ) |
std::string hobbes::show | ( | const TCInstancePtr & | x | ) |
std::string hobbes::show | ( | const TCInstanceFnPtr & | x | ) |
std::vector<std::string> hobbes::show | ( | const std::vector< T > & | xs | ) |
void hobbes::show | ( | std::ostream & | out, |
const lrtable & | tbl | ||
) |
std::string hobbes::show | ( | const PolyType & | e | ) |
std::string hobbes::show | ( | const PolyType * | e | ) |
std::string hobbes::show | ( | const PolyTypePtr & | e | ) |
std::string hobbes::show | ( | const QualType & | e | ) |
std::string hobbes::show | ( | const QualType * | e | ) |
std::string hobbes::show | ( | const QualTypePtr & | e | ) |
std::string hobbes::show | ( | const Constraint & | e | ) |
std::string hobbes::show | ( | const Constraint * | e | ) |
std::string hobbes::show | ( | const ConstraintPtr & | e | ) |
std::string hobbes::show | ( | const MonoType & | e | ) |
std::string hobbes::show | ( | const MonoType * | e | ) |
std::string hobbes::show | ( | const MonoTypePtr & | e | ) |
void hobbes::show | ( | const MonoTypeSubst & | s, |
std::ostream & | out | ||
) |
std::string hobbes::show | ( | const MonoTypeSubst & | s | ) |
std::string hobbes::showAnnotated | ( | const Expr & | e | ) |
std::string hobbes::showAnnotated | ( | const Expr * | e | ) |
std::string hobbes::showAnnotated | ( | const ExprPtr & | e | ) |
std::string hobbes::showAnnotated | ( | const Definition & | d | ) |
void hobbes::showAsRecord | ( | std::ostream & | out, |
const Record::Members & | ms | ||
) |
void hobbes::showAsTuple | ( | std::ostream & | out, |
const Record::Members & | ms | ||
) |
const array<char>* hobbes::showByte | ( | unsigned char | b | ) |
const array<char>* hobbes::showByteV | ( | unsigned char | b | ) |
const array<char>* hobbes::showChar | ( | char | c | ) |
|
inline |
const array<char>* hobbes::showDouble | ( | double | x, |
int | p | ||
) |
bool hobbes::showFileRef | ( | const MonoTypePtr & | f, |
const MonoTypes & | targs, | ||
std::ostream & | out | ||
) |
const array<char>* hobbes::showFloat | ( | float | x, |
int | p | ||
) |
void hobbes::showFull | ( | const Variant::Members & | ms, |
std::ostream & | out | ||
) |
void hobbes::showFullVarPayloadSuffix | ( | const MonoTypePtr & | t, |
std::ostream & | out | ||
) |
void hobbes::showFundep | ( | const FunDep & | fd, |
std::ostream & | out | ||
) |
const array<char>* hobbes::showInt | ( | int | x | ) |
const array<char>* hobbes::showLong | ( | long | x | ) |
std::string hobbes::showMemoryPool | ( | ) |
str::seq hobbes::showNoSimpl | ( | const Constraints & | cs | ) |
std::string hobbes::showNoSimpl | ( | const PolyType & | e | ) |
std::string hobbes::showNoSimpl | ( | const PolyType * | e | ) |
std::string hobbes::showNoSimpl | ( | const PolyTypePtr & | e | ) |
std::string hobbes::showNoSimpl | ( | const QualType & | e | ) |
std::string hobbes::showNoSimpl | ( | const QualType * | e | ) |
std::string hobbes::showNoSimpl | ( | const QualTypePtr & | e | ) |
std::string hobbes::showNoSimpl | ( | const Constraint & | e | ) |
std::string hobbes::showNoSimpl | ( | const Constraint * | e | ) |
std::string hobbes::showNoSimpl | ( | const ConstraintPtr & | e | ) |
std::string hobbes::showNoSimpl | ( | const MonoType & | e | ) |
std::string hobbes::showNoSimpl | ( | const MonoType * | e | ) |
std::string hobbes::showNoSimpl | ( | const MonoTypePtr & | e | ) |
std::string hobbes::showPage | ( | mempage * | p | ) |
std::string hobbes::showPageDesc | ( | const pagedata & | pd | ) |
std::string hobbes::showPages | ( | mempage * | ps | ) |
const array<char>* hobbes::showShort | ( | short | s | ) |
const array<char>* hobbes::showString | ( | std::string * | x | ) |
void hobbes::showSum | ( | const Variant::Members & | ms, |
std::ostream & | out | ||
) |
std::string hobbes::showT | ( | const T & | t | ) |
|
inline |
|
inline |
|
inline |
|
inline |
MonoTypePtr hobbes::sigFnType | ( | const std::string & | fn, |
const ExprPtr & | db | ||
) |
const Record* hobbes::signalRecord | ( | const MonoTypePtr & | r | ) |
QualTypePtr hobbes::simplifyVarNames | ( | const PolyType & | t | ) |
QualTypePtr hobbes::simplifyVarNames | ( | const PolyTypePtr & | t | ) |
ConstraintPtr hobbes::simplifyVarNames | ( | const Constraint & | c | ) |
ConstraintPtr hobbes::simplifyVarNames | ( | const ConstraintPtr & | c | ) |
QualTypePtr hobbes::simplifyVarNames | ( | const QualType & | t | ) |
QualTypePtr hobbes::simplifyVarNames | ( | const QualTypePtr & | t | ) |
MonoTypePtr hobbes::simplifyVarNames | ( | const MonoType & | t | ) |
MonoTypePtr hobbes::simplifyVarNames | ( | const MonoTypePtr & | t | ) |
unsigned int hobbes::sizeOf | ( | const MonoTypePtr & | mt | ) |
str::seq hobbes::slurpLines | ( | std::istream & | in, |
size_t | i, | ||
size_t | f | ||
) |
|
inline |
void hobbes::spawn | ( | const std::string & | cmd, |
proc * | p | ||
) |
size_t hobbes::stateCount | ( | const ParserEvalInfo & | pei | ) |
std::ostringstream& hobbes::stdoutBuffer | ( | ) |
void hobbes::stdoutBufferSwap | ( | std::ostream * | os | ) |
char hobbes::stdstrelem | ( | const std::string & | x, |
size_t | i | ||
) |
void hobbes::stdstringAssign | ( | std::string * | lhs, |
array< char > * | rhs | ||
) |
size_t hobbes::stdstrsize | ( | const std::string & | x | ) |
bool hobbes::stepEventLoop | ( | ) |
|
static |
size_t hobbes::storageSizeOf | ( | const MonoTypePtr & | mty | ) |
|
static |
bool hobbes::storedAsArray | ( | const MonoTypePtr & | ty | ) |
|
static |
unsigned int hobbes::storedOffset | ( | const Record * | rty, |
const std::string & | lbl | ||
) |
unsigned int hobbes::storedOffset | ( | const FileConfig & | fcfg, |
const std::string & | lbl | ||
) |
unsigned int hobbes::storedOffset | ( | const MonoTypePtr & | ty, |
const std::string & | lbl | ||
) |
unsigned int hobbes::storedOffset | ( | const ExprPtr & | e, |
const std::string & | lbl | ||
) |
|
static |
char hobbes::strelem | ( | std::string * | s, |
long | i | ||
) |
Record::Members hobbes::stripHiddenFields | ( | const Record * | rty | ) |
MonoTypePtr hobbes::stripHiddenFields | ( | const MonoTypePtr & | ty | ) |
long hobbes::strsize | ( | std::string * | s | ) |
|
inline |
MonoTypePtr hobbes::substitute | ( | MonoTypeUnifier * | u, |
const MonoTypePtr & | ty | ||
) |
MonoTypes hobbes::substitute | ( | MonoTypeUnifier * | u, |
const MonoTypes & | tys | ||
) |
ConstraintPtr hobbes::substitute | ( | MonoTypeUnifier * | u, |
const ConstraintPtr & | cst | ||
) |
Constraints hobbes::substitute | ( | MonoTypeUnifier * | u, |
const Constraints & | cs | ||
) |
QualTypePtr hobbes::substitute | ( | MonoTypeUnifier * | u, |
const QualTypePtr & | qty | ||
) |
ExprPtr hobbes::substitute | ( | MonoTypeUnifier * | u, |
const ExprPtr & | e | ||
) |
MVarDefs hobbes::substitute | ( | const MonoTypeSubst & | s, |
const MVarDefs & | vds | ||
) |
QualTypePtr hobbes::substitute | ( | const MonoTypeSubst & | s, |
const QualTypePtr & | qt | ||
) |
Constraints hobbes::substitute | ( | const MonoTypeSubst & | s, |
const Constraints & | cs | ||
) |
ConstraintPtr hobbes::substitute | ( | const MonoTypeSubst & | s, |
const ConstraintPtr & | p | ||
) |
MonoTypePtr hobbes::substitute | ( | const MonoTypeSubst & | s, |
const MonoType & | mt | ||
) |
MonoTypePtr hobbes::substitute | ( | const MonoTypeSubst & | s, |
const MonoTypePtr & | mt | ||
) |
MonoTypes hobbes::substitute | ( | const MonoTypeSubst & | s, |
const MonoTypes & | ts | ||
) |
ExprPtr hobbes::substitute | ( | const VarMapping & | vm, |
const ExprPtr & | e, | ||
bool * | mapped = 0 |
||
) |
ExprPtr hobbes::substitute | ( | const MonoTypeSubst & | s, |
const ExprPtr & | e | ||
) |
MonoTypePtr hobbes::substituteStep | ( | const MonoTypeSubst & | s, |
const MonoTypePtr & | mt | ||
) |
MonoTypeSubst hobbes::substitution | ( | const NameIndexing & | ns | ) |
|
inline |
|
inline |
void hobbes::sweepFileWatch | ( | FileWatch & | fw | ) |
|
inline |
T hobbes::switchOf | ( | const GrammarValuePtr & | p, |
const switchGrammarValue< T > & | f | ||
) |
T hobbes::switchOf | ( | const RegexPtr & | p, |
const switchRegex< T > & | f | ||
) |
T hobbes::switchOf | ( | const MState & | s, |
const switchMState< T > & | f | ||
) |
T hobbes::switchOf | ( | const MStatePtr & | s, |
const switchMState< T > & | f | ||
) |
T hobbes::switchOf | ( | const PatternPtr & | p, |
const switchPattern< T > & | f | ||
) |
std::vector<T> hobbes::switchOf | ( | const Patterns & | ps, |
const switchPattern< T > & | f | ||
) |
T hobbes::switchOf | ( | const MonoType & | ty, |
const switchType< T > & | f | ||
) |
T hobbes::switchOf | ( | const MonoTypePtr & | ty, |
const switchType< T > & | f | ||
) |
std::vector<T> hobbes::switchOf | ( | const MonoTypes & | ts, |
const switchType< T > & | f | ||
) |
T hobbes::switchOf | ( | const MonoTypes & | ts, |
T | s, | ||
T(*)(T, T) | appendF, | ||
const switchType< T > & | f | ||
) |
std::vector< std::pair<K, T> > hobbes::switchOf | ( | const std::vector< std::pair< K, MonoTypePtr > > & | kts, |
const switchType< T > & | f | ||
) |
Variant::Members hobbes::switchOf | ( | const Variant::Members & | ms, |
const switchType< T > & | f | ||
) |
Record::Members hobbes::switchOf | ( | const Record::Members & | ms, |
const switchType< T > & | f | ||
) |
T hobbes::switchOf | ( | const PrimitivePtr & | p, |
const switchConst< T > & | f | ||
) |
UnitV hobbes::switchOf | ( | const Case::Bindings & | bs, |
const switchExprTyFnM & | f | ||
) |
T hobbes::switchOf | ( | const Expr & | e, |
const switchExpr< T > & | f | ||
) |
T hobbes::switchOf | ( | const ExprPtr & | e, |
const switchExpr< T > & | f | ||
) |
T hobbes::switchOf | ( | const ExprPtr & | e, |
const switchExprM< T > & | f | ||
) |
std::vector<T> hobbes::switchOf | ( | const Exprs & | es, |
const switchExpr< T > & | f | ||
) |
std::vector<T> hobbes::switchOf | ( | const Exprs & | es, |
const switchExprM< T > & | f | ||
) |
std::vector< std::pair<K, T> > hobbes::switchOf | ( | const std::vector< std::pair< K, ExprPtr > > & | kes, |
const switchExpr< T > & | f | ||
) |
std::vector< std::pair<K, T> > hobbes::switchOf | ( | const std::vector< std::pair< K, ExprPtr > > & | kes, |
const switchExprM< T > & | f | ||
) |
Switch::Bindings hobbes::switchOf | ( | const Case::Bindings & | bs, |
const switchExpr< ExprPtr > & | f | ||
) |
T hobbes::switchOfF | ( | Ptr | ty, |
F | f | ||
) |
T hobbes::switchOfF | ( | const Expr & | e, |
F | f | ||
) |
terminalset hobbes::symbolsDerivingNull | ( | const grammar & | g | ) |
void hobbes::symbolsUsed | ( | const grammar & | g, |
const rule & | r, | ||
terminalset * | ss | ||
) |
void hobbes::symbolsUsed | ( | const grammar & | g, |
const rules & | rs, | ||
terminalset * | ss | ||
) |
void hobbes::symbolsUsed | ( | const grammar & | g, |
terminal * | s, | ||
terminalset * | ss | ||
) |
terminalset hobbes::symbolsUsed | ( | const grammar & | g, |
terminal * | s | ||
) |
terminalset hobbes::symbolsUsing | ( | const grammar & | g, |
terminal * | s | ||
) |
void hobbes::tableTail | ( | PatternRows * | out, |
const PatternRows & | in | ||
) |
|
inline |
Variant::Members hobbes::tailMembers | ( | const Variant::Members & | ms | ) |
Record::Members hobbes::tailMembers | ( | bool | tup, |
const Record::Members & | ms | ||
) |
std::vector<T> hobbes::take | ( | const std::vector< T > & | xs, |
size_t | n | ||
) |
|
inline |
MTypeCtorMaps* hobbes::tctorMaps | ( | ) |
|
inline |
|
inline |
MonoTypes hobbes::tgens | ( | int | vs | ) |
int hobbes::tgenSize | ( | const MonoTypePtr & | mt | ) |
int hobbes::tgenSize | ( | const MonoTypes & | mts | ) |
int hobbes::tgenSize | ( | const Constraints & | cs | ) |
int hobbes::tgenSize | ( | const ConstraintPtr & | c | ) |
int hobbes::tgenSize | ( | const QualTypePtr & | qt | ) |
int hobbes::tgenSize | ( | const ExprPtr & | e | ) |
TGenVarSet hobbes::tgenVars | ( | const MonoTypePtr & | mt | ) |
region& hobbes::threadRegion | ( | ) |
|
static |
void hobbes::threadSleep | ( | timespanT | dt | ) |
void hobbes::threadWait | ( | long | x | ) |
void hobbes::throwBufferError | ( | const char * | buffer, |
const YYLTYPE & | errPos, | ||
const std::string & | emsg | ||
) |
void hobbes::throwFileError | ( | const std::string & | fname, |
const YYLTYPE & | errPos, | ||
const std::string & | emsg | ||
) |
|
inline |
|
inline |
|
inline |
|
inline |
file_pageindex_t hobbes::tocPageToFilePage | ( | const imagefile * | f, |
uint64_t | tpage | ||
) |
|
static |
llvm::Type * hobbes::toLLVM | ( | const MonoTypePtr & | ty, |
bool | asArg = false |
||
) |
llvm::ConstantInt * hobbes::toLLVMConstantInt | ( | const PrimitivePtr & | p | ) |
ParseRule::Bindings hobbes::toParseRuleBindings | ( | symbols * | ss, |
chars * | cs, | ||
const BoundGrammarValues & | gvs | ||
) |
terminalset hobbes::topLevelSymbols | ( | const grammar & | g | ) |
CharRanges hobbes::toRanges | ( | const std::set< rchar_t > & | cs | ) |
std::set<typename CT::value_type> hobbes::toSet | ( | const CT & | xs | ) |
std::vector<T> hobbes::toVector | ( | const std::set< T > & | xs | ) |
|
static |
|
static |
IDFATransition hobbes::transitionDef | ( | const ArgPos & | argpos, |
MDFA * | dfa, | ||
stateidx_t | s, | ||
const GlobalToLocalState & | localstate, | ||
std::set< stateidx_t > * | dones, | ||
array< IDFAState > * | dfaStates | ||
) |
|
static |
transitionset hobbes::transitions | ( | const parserdef & | p | ) |
const state_transitions& hobbes::transitions | ( | const parserdef & | p, |
nat | q | ||
) |
IDFATransitions * hobbes::transitions | ( | const ArgPos & | argpos, |
MDFA * | dfa, | ||
const SwitchVal::Jumps & | jmps, | ||
const GlobalToLocalState & | localstate, | ||
std::set< stateidx_t > * | dones, | ||
array< IDFAState > * | dfaStates | ||
) |
|
static |
T hobbes::translatep | ( | const MatchArray & | ma, |
size_t | i | ||
) |
MonoTypes hobbes::trCons | ( | const MonoTypePtr & | hty, |
const MonoTypes & | ttys | ||
) |
long hobbes::truncd | ( | double | x | ) |
|
inline |
|
inline |
void hobbes::tryRefine | ( | const TEnvPtr & | tenv, |
const MonoTypePtr & | lhs, | ||
const MonoTypePtr & | rhs, | ||
const MonoTypePtr & | result, | ||
MonoTypeUnifier * | s | ||
) |
|
inline |
|
inline |
|
inline |
Record::Members hobbes::tupleNormalize | ( | const Record::Members & | ms | ) |
MkRecord::FieldDefs hobbes::tupleNormalize | ( | const MkRecord::FieldDefs & | fds | ) |
|
inline |
NameSet hobbes::tvarNames | ( | const QualTypePtr & | qt | ) |
NameSet hobbes::tvarNames | ( | const Constraints & | cs | ) |
NameSet hobbes::tvarNames | ( | const ConstraintPtr & | c | ) |
NameSet hobbes::tvarNames | ( | const MonoTypePtr & | mt | ) |
void hobbes::tvarNames | ( | const QualTypePtr & | qt, |
NameSet * | out | ||
) |
void hobbes::tvarNames | ( | const Constraints & | cs, |
NameSet * | out | ||
) |
void hobbes::tvarNames | ( | const ConstraintPtr & | c, |
NameSet * | out | ||
) |
void hobbes::tvarNames | ( | const MonoTypePtr & | mt, |
NameSet * | out | ||
) |
void hobbes::typeCtorForm | ( | const MonoTypePtr & | ty, |
std::string * | cname, | ||
MonoTypes * | targs, | ||
str::seq * | ignvs | ||
) |
void hobbes::typeSeqForm | ( | const ConstraintPtr & | c, |
MonoTypes * | mts | ||
) |
|
static |
MonoTypePtr hobbes::unalias | ( | const MonoTypePtr & | ty | ) |
uint8_t hobbes::uncompressLength | ( | const uint8_t * | data, |
size_t * | len | ||
) |
QualTypePtr hobbes::underlyingFnType | ( | const TEnvPtr & | tenv, |
const MonoTypePtr & | rty, | ||
const std::string & | fieldName, | ||
const MonoTypePtr & | fty, | ||
MonoTypeUnifier * | s | ||
) |
QualTypePtr hobbes::underlyingFnType | ( | const TEnvPtr & | tenv, |
const ConstraintPtr & | c | ||
) |
bool hobbes::unifiable | ( | const TEnvPtr & | tenv, |
const MonoTypePtr & | t0, | ||
const MonoTypePtr & | t1 | ||
) |
bool hobbes::unifiable | ( | const TEnvPtr & | tenv, |
const ConstraintPtr & | c0, | ||
const ConstraintPtr & | c1 | ||
) |
std::string hobbes::uniqueFilename | ( | const std::string & | prefix, |
const std::string & | suffix | ||
) |
|
static |
bool hobbes::unmarkBadFD | ( | int | fd | ) |
CVarDefs hobbes::unpackCaptureVars | ( | const std::string & | strVar, |
const std::string & | bufferVar, | ||
const CRegexes & | crgxs, | ||
size_t | state, | ||
const LexicalAnnotation & | rootLA | ||
) |
MonoTypePtr hobbes::unpackedType | ( | const Exists * | e | ) |
MonoTypePtr hobbes::unpackedType | ( | const MonoTypePtr & | mty | ) |
QualTypePtr hobbes::unpackedType | ( | const QualTypePtr & | qty | ) |
bool hobbes::unpackFileType | ( | const MonoTypePtr & | fty, |
UTFileConfig * | fcfg | ||
) |
bool hobbes::unpackFileType | ( | const MonoTypePtr & | fty, |
FileConfig * | fcfg | ||
) |
ExprPtr hobbes::unqualifyClass | ( | const TEnvPtr & | tenv, |
const std::string & | cname, | ||
const MonoTypes & | tys, | ||
const ExprPtr & | e, | ||
Definitions * | ds | ||
) |
ExprPtr hobbes::unqualifyTypes | ( | const TEnvPtr & | tenv, |
const ExprPtr & | e, | ||
Definitions * | ds | ||
) |
void hobbes::unregisterEventHandler | ( | int | fd | ) |
MonoTypePtr hobbes::unroll | ( | const MonoTypePtr & | rty | ) |
|
static |
|
static |
std::pair< std::vector<L>, std::vector<R> > hobbes::unzip | ( | const std::vector< std::pair< L, R > > & | ps | ) |
void hobbes::upd | ( | const ConstraintPtr & | c, |
const HasField & | hf | ||
) |
|
static |
|
static |
|
static |
CharRanges hobbes::usedCharRanges | ( | const NFA & | nfa, |
const stateset & | ss | ||
) |
MonoTypeSubst hobbes::uvarSubstitution | ( | const NameIndexing & | ns | ) |
void hobbes::validate | ( | const TEnvPtr & | tenv, |
size_t | c, | ||
const PatternRows & | ps, | ||
const LexicalAnnotation & | la | ||
) |
void hobbes::validateDimensions | ( | size_t | c, |
const PatternRows & | ps, | ||
const LexicalAnnotation & | la | ||
) |
ExprPtr hobbes::validateType | ( | const TEnvPtr & | tenv, |
const ExprPtr & | e, | ||
Definitions * | ds | ||
) |
ExprPtr hobbes::validateType | ( | const TEnvPtr & | tenv, |
const std::string & | vname, | ||
const ExprPtr & | e, | ||
Definitions * | ds | ||
) |
std::vector<V> hobbes::values | ( | const std::map< K, V > & | m | ) |
|
inline |
|
inline |
|
inline |
|
inline |
std::string hobbes::varCtor | ( | const MatchVariant & | mv | ) |
VarMapping hobbes::varMapping | ( | const Patterns & | ps | ) |
str::seq hobbes::varNames | ( | size_t | n | ) |
str::seq hobbes::varNames | ( | unsigned int | n | ) |
|
inline |
|
inline |
std::string hobbes::withUniqueFilenameBy | ( | const std::string & | fprefix, |
const std::string & | fsuffix, | ||
const std::function< bool(const std::string &)> & | fileOp | ||
) |
void hobbes::write | ( | imagefile * | f, |
const T & | x | ||
) |
void hobbes::write | ( | imagefile * | f, |
const std::string & | x | ||
) |
void hobbes::write | ( | imagefile * | f, |
const std::vector< unsigned char > & | xs | ||
) |
void hobbes::write | ( | bool | b, |
bytes * | out | ||
) |
void hobbes::write | ( | char | c, |
bytes * | out | ||
) |
void hobbes::write | ( | unsigned char | c, |
bytes * | out | ||
) |
void hobbes::write | ( | int | x, |
bytes * | out | ||
) |
void hobbes::write | ( | long | x, |
bytes * | out | ||
) |
void hobbes::write | ( | size_t | x, |
bytes * | out | ||
) |
void hobbes::write | ( | unsigned int | x, |
bytes * | out | ||
) |
void hobbes::write | ( | const std::string & | s, |
bytes * | out | ||
) |
void hobbes::write | ( | const std::vector< T > & | xs, |
bytes * | out | ||
) |
long hobbes::writeFileRT | ( | const array< char > * | fname, |
long | tydef | ||
) |
void hobbes::writeOrMark | ( | int | fd, |
const char * | b, | ||
size_t | sz | ||
) |
void hobbes::writes | ( | imagefile * | f, |
TIter | begin, | ||
TIter | end | ||
) |
std::vector< std::pair<L, R> > hobbes::zip | ( | const std::vector< L > & | left, |
const std::vector< R > & | right | ||
) |
std::stack<YY_BUFFER_STATE> hobbes::activeParseBuffers |
|
static |
|
static |
|
static |
const char hobbes::datetimeTNV = "datetime" |
hobbes::else |
|
static |
const size_t hobbes::FUNCTION_SIZE_THRESHOLD = 64 |
|
static |
|
static |
|
static |
static const state hobbes::nullState = (stateidx_t)-1 |
nulltypedb hobbes::nulltdb |
|
static |
PatVarCtorFn hobbes::patVarCtorFn = &defPatVarCtor |
|
inline |
|
static |
|
static |
|
static |
|
static |
const char hobbes::timespanTNV = "timespan" |
const char hobbes::timeTNV = "time" |
const bool hobbes::unit = true |
|
static |
|
static |
VarCtorFn hobbes::varCtorFn = &defVarCtor |