| /dports/lang/maude/maude-2.7.1/src/Mixfix/ |
| H A D | importModule.hh | 34 class ImportModule class
39 NO_COPYING(ImportModule);
60 ~ImportModule();
66 ImportModule* parameterTheory);
223 ImportModule* baseModule;
279 ImportModule::protect() in protect()
284 inline ImportModule::Origin
285 ImportModule::getOrigin() const in getOrigin()
305 inline ImportModule*
319 ImportModule::getNrUserSorts() const in getNrUserSorts()
[all …]
|
| H A D | moduleCache.cc | 50 ImportModule* doomedModule = static_cast<ImportModule*>(doomedEntity); in regretToInform()
57 ImportModule*
72 if (module->getOrigin() == ImportModule::SUMMATION) in makeRenamedCopy()
75 if (module->getOrigin() == ImportModule::SUMMATION) in makeRenamedCopy()
116 ImportModule*
149 ImportModule*
156 if (module->getOrigin() == ImportModule::RENAMING) in makeInstatiation()
223 ModuleCache::moduleCompare(const ImportModule* m1, const ImportModule* m2) in moduleCompare()
228 ImportModule*
234 Vector<ImportModule*> local(modules); in makeSummation()
[all …]
|
| H A D | moduleCache.hh | 37 ImportModule* makeRenamedCopy(ImportModule* module, Renaming* renaming);
38 ImportModule* makeSummation(const Vector<ImportModule*>& modules);
39 ImportModule* makeParameterCopy(int parameterName, ImportModule* module);
40 …ImportModule* makeInstatiation(ImportModule* module, const Vector<View*>& views, const Vector<int>…
46 typedef map<int, ImportModule*> ModuleMap;
48 static bool moduleCompare(const ImportModule* m1, const ImportModule* m2);
|
| H A D | importModule.cc | 80 ImportModule::~ImportModule() in ~ImportModule()
102 ImportModule::addImport(ImportModule* importedModule, in addImport()
170 ImportModule::closeSortSet() in closeSortSet()
241 ImportModule::unprotect() in unprotect()
257 ImportModule::importSorts() in importSorts()
275 ImportModule::donateSorts(ImportModule* importer) in donateSorts()
299 ImportModule::importOps() in importOps()
322 ImportModule::donateOps(ImportModule* importer) in donateOps()
354 ImportModule::fixUpDonatedOps(ImportModule* importer) in fixUpDonatedOps()
425 ImportModule::donateStatements(ImportModule* importer) in donateStatements()
[all …]
|
| H A D | parameterization.cc | 23 ImportModule*
26 ImportModule* copy = new ImportModule(moduleName, getModuleType(), PARAMETER, moduleCache); in makeParameterCopy()
65 ImportModule* import = *i; in makeParameterCopy()
81 ImportModule::handleInstantiationByParameter(ImportModule* copy, in handleInstantiationByParameter()
139 ImportModule::handleInstantiationByTheoryView(ImportModule* copy, in handleInstantiationByTheoryView()
208 ImportModule::handleInstantiationByModuleView(ImportModule* copy, in handleInstantiationByModuleView()
378 ImportModule::handleRegularImports(ImportModule* copy, in handleRegularImports()
427 ImportModule*
458 ImportModule* copy = new ImportModule(moduleName, moduleType, INSTANTIATION, moduleCache); in makeInstantiation()
496 ImportModule*
[all …]
|
| H A D | view.hh | 63 ImportModule* getFromTheory() const;
64 ImportModule* getToModule() const;
98 Sort* mapSort(const Sort* sort, ImportModule* module) const;
100 void finishModule1(ImportModule* module);
101 void finishModule2(ImportModule* module);
113 ImportModule* fromTheory;
114 ImportModule* toModule;
115 ImportModule* newFromTheory; // copy of fromTheory with different variable aliases
116 ImportModule* newToModule; // copy of toModule with different variable aliases
153 inline ImportModule*
[all …]
|
| H A D | renameModule.cc | 23 ImportModule*
24 ImportModule::makeRenamedCopy(int name, Renaming* canonical, ModuleCache* moduleCache) in makeRenamedCopy()
26 ImportModule* copy = new ImportModule(name, getModuleType(), RENAMING, moduleCache); in makeRenamedCopy()
60 ImportModule::finishCopy(ImportModule* copy, Renaming* canonical) in finishCopy()
106 ImportModule::localSort(ImportModule* copy, Renaming* renaming, const Sort* sort) in localSort()
114 ImportModule::localSort2(ImportModule* copy, Renaming* renaming, const Sort* sort) in localSort2()
126 ImportModule::donateSorts2(ImportModule* copy, Renaming* renaming) in donateSorts2()
193 ImportModule::donateOps2(ImportModule* copy, Renaming* renaming) in donateOps2()
353 ImportModule::fixUpDonatedOps2(ImportModule* copy, Renaming* renaming) in fixUpDonatedOps2()
431 ImportModule::localStatementsComplete() in localStatementsComplete()
[all …]
|
| H A D | interpreter.cc | 383 ImportModule*
388 if (ImportModule* fm = m->getFlatSignature()) in getModuleOrIssueWarning()
422 ImportModule*
430 if (ImportModule* fm = getModuleOrIssueWarning(name.code(), name.lineNumber())) in makeModule()
436 if (ImportModule* fm = makeModule(expr->getModule(), enclosingModule)) in makeModule()
452 Vector<ImportModule*> fms; in makeModule()
455 if (ImportModule* fm = makeModule(*i, enclosingModule)) in makeModule()
471 if (ImportModule* fm = makeModule(expr->getModule(), enclosingModule)) in makeModule()
499 ImportModule* requiredParameterTheory = fm->getParameterTheory(i); in makeModule()
526 ImportModule* fromTheory = v->getFromTheory(); in makeModule()
[all …]
|
| H A D | importTranslation.hh | 37 ImportTranslation(ImportModule* target, Renaming* renaming = 0);
38 void push(Renaming* renaming, ImportModule* target);
59 typedef list<ImportModule*> ModuleList;
62 ImportModule* target,
85 ImportTranslation::push(Renaming* renaming, ImportModule* target) in push()
|
| H A D | entity.cc | 47 if (const ImportModule* m = dynamic_cast<const ImportModule*>(e)) in operator <<()
61 else if (const ImportModule* m = dynamic_cast<const ImportModule*>(u)) in operator <<()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/include/llvm/MC/ |
| H A D | MCSymbolWasm.h | 23 Optional<StringRef> ImportModule; variable
73 bool hasImportModule() const { return ImportModule.hasValue(); } in hasImportModule()
75 if (ImportModule.hasValue()) in getImportModule()
76 return ImportModule.getValue(); in getImportModule()
83 void setImportModule(StringRef Name) { ImportModule = Name; } in setImportModule()
|
| /dports/devel/llvm11/llvm-11.0.1.src/include/llvm/MC/ |
| H A D | MCSymbolWasm.h | 23 Optional<StringRef> ImportModule; variable
73 bool hasImportModule() const { return ImportModule.hasValue(); } in hasImportModule()
75 if (ImportModule.hasValue()) in getImportModule()
76 return ImportModule.getValue(); in getImportModule()
83 void setImportModule(StringRef Name) { ImportModule = Name; } in setImportModule()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/include/llvm/MC/ |
| H A D | MCSymbolWasm.h | 23 Optional<StringRef> ImportModule; variable
75 bool hasImportModule() const { return ImportModule.hasValue(); } in hasImportModule()
77 if (ImportModule.hasValue()) in getImportModule()
78 return ImportModule.getValue(); in getImportModule()
85 void setImportModule(StringRef Name) { ImportModule = Name; } in setImportModule()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/llvm/include/llvm/MC/ |
| H A D | MCSymbolWasm.h | 23 Optional<StringRef> ImportModule; variable
75 bool hasImportModule() const { return ImportModule.hasValue(); } in hasImportModule()
77 if (ImportModule.hasValue()) in getImportModule()
78 return ImportModule.getValue(); in getImportModule()
85 void setImportModule(StringRef Name) { ImportModule = Name; } in setImportModule()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/include/llvm/MC/ |
| H A D | MCSymbolWasm.h | 23 Optional<StringRef> ImportModule; variable
75 bool hasImportModule() const { return ImportModule.hasValue(); } in hasImportModule()
77 if (ImportModule.hasValue()) in getImportModule()
78 return ImportModule.getValue(); in getImportModule()
85 void setImportModule(StringRef Name) { ImportModule = Name; } in setImportModule()
|
| /dports/lang/yap/yap-6.2.2/pl/ |
| H A D | modules.yap | 753 import_module(Mod, ImportModule) :-
756 import_module(Mod, ImportModule) :-
758 prolog:'$parent_module'(Mod,ImportModule).
782 delete_import_module(Mod, ImportModule) :-
785 delete_import_module(Mod, ImportModule) :-
786 var(ImportModule),
788 delete_import_module(Mod, ImportModule) :-
790 atom(ImportModule), !,
792 delete_import_module(Mod, ImportModule) :-
795 delete_import_module(Mod, ImportModule) :-
[all …]
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/include/llvm/MC/ |
| H A D | MCSymbolWasm.h | 24 Optional<StringRef> ImportModule; variable
85 bool hasImportModule() const { return ImportModule.hasValue(); } in hasImportModule()
87 if (ImportModule.hasValue()) in getImportModule()
88 return ImportModule.getValue(); in getImportModule()
95 void setImportModule(StringRef Name) { ImportModule = Name; } in setImportModule()
|
| /dports/graphics/llvm-mesa/llvm-13.0.1.src/include/llvm/MC/ |
| H A D | MCSymbolWasm.h | 24 Optional<StringRef> ImportModule; variable
85 bool hasImportModule() const { return ImportModule.hasValue(); } in hasImportModule()
87 if (ImportModule.hasValue()) in getImportModule()
88 return ImportModule.getValue(); in getImportModule()
95 void setImportModule(StringRef Name) { ImportModule = Name; } in setImportModule()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/include/llvm/MC/ |
| H A D | MCSymbolWasm.h | 24 Optional<StringRef> ImportModule; variable
85 bool hasImportModule() const { return ImportModule.hasValue(); } in hasImportModule()
87 if (ImportModule.hasValue()) in getImportModule()
88 return ImportModule.getValue(); in getImportModule()
95 void setImportModule(StringRef Name) { ImportModule = Name; } in setImportModule()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/include/llvm/MC/ |
| H A D | MCSymbolWasm.h | 24 Optional<StringRef> ImportModule; variable
89 bool hasImportModule() const { return ImportModule.hasValue(); } in hasImportModule()
91 if (ImportModule.hasValue()) in getImportModule()
92 return ImportModule.getValue(); in getImportModule()
99 void setImportModule(StringRef Name) { ImportModule = Name; } in setImportModule()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/include/llvm/MC/ |
| H A D | MCSymbolWasm.h | 24 Optional<StringRef> ImportModule; variable
85 bool hasImportModule() const { return ImportModule.hasValue(); } in hasImportModule()
87 if (ImportModule.hasValue()) in getImportModule()
88 return ImportModule.getValue(); in getImportModule()
95 void setImportModule(StringRef Name) { ImportModule = Name; } in setImportModule()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/llvm/include/llvm/MC/ |
| H A D | MCSymbolWasm.h | 24 Optional<StringRef> ImportModule; variable
85 bool hasImportModule() const { return ImportModule.hasValue(); } in hasImportModule()
87 if (ImportModule.hasValue()) in getImportModule()
88 return ImportModule.getValue(); in getImportModule()
95 void setImportModule(StringRef Name) { ImportModule = Name; } in setImportModule()
|
| /dports/devel/llvm80/llvm-8.0.1.src/include/llvm/MC/ |
| H A D | MCSymbolWasm.h | 22 Optional<std::string> ImportModule; variable
60 if (ImportModule.hasValue()) { in getImportModule()
61 return ImportModule.getValue(); in getImportModule()
65 void setImportModule(StringRef Name) { ImportModule = Name; } in setImportModule()
|
| /dports/cad/openscad/openscad-41f58fe57c03457a3a8b4dc541ef5654ec3e8c78/src/ |
| H A D | import.cc | 58 class ImportModule : public AbstractModule class
62 ImportModule(ImportType type = ImportType::UNKNOWN) : type(type) { } in ImportModule() function in ImportModule
66 AbstractNode *ImportModule::instantiate(const std::shared_ptr<Context>& ctx, const ModuleInstantiat… in instantiate()
247 Builtins::init("import_stl", new ImportModule(ImportType::STL)); in register_builtin_import()
248 Builtins::init("import_off", new ImportModule(ImportType::OFF)); in register_builtin_import()
249 Builtins::init("import_dxf", new ImportModule(ImportType::DXF)); in register_builtin_import()
251 Builtins::init("import", new ImportModule(), in register_builtin_import()
|
| /dports/cad/openscad-devel/openscad-63a7c77740030c63d646eb0684ba6947eecb0db7/src/ |
| H A D | import.cc | 58 class ImportModule : public AbstractModule class
62 ImportModule(ImportType type = ImportType::UNKNOWN) : type(type) { } in ImportModule() function in ImportModule
66 AbstractNode *ImportModule::instantiate(const std::shared_ptr<Context>& ctx, const ModuleInstantiat… in instantiate()
247 Builtins::init("import_stl", new ImportModule(ImportType::STL)); in register_builtin_import()
248 Builtins::init("import_off", new ImportModule(ImportType::OFF)); in register_builtin_import()
249 Builtins::init("import_dxf", new ImportModule(ImportType::DXF)); in register_builtin_import()
251 Builtins::init("import", new ImportModule(), in register_builtin_import()
|