Home
last modified time | relevance | path

Searched refs:matchingOpen (Results 1 – 1 of 1) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A DfileTable.cc62 int matchingOpen = fileStack[topOfStack]; in closeFile() local
66 fileNames.name(fileChanges[matchingOpen].fileNameIndex) << "\"\n"; in closeFile()
72 if (matchingOpen > 0) in closeFile()
74 Entry& fe = fileChanges[matchingOpen - 1]; in closeFile()
116 int matchingOpen = moduleStack[topOfStack]; in endModule() local
121 if (matchingOpen > 0) in endModule()
123 mc.moduleNameIndex = moduleChanges[matchingOpen - 1].moduleNameIndex; in endModule()
124 mc.moduleTypeIndex = moduleChanges[matchingOpen - 1].moduleTypeIndex; in endModule()
142 int matchingOpen = fileStack[0]; in abortEverything() local
144 if (matchingOpen > 0) in abortEverything()
[all …]