| /dports/lang/maude/maude-2.7.1/src/BuiltIn/ |
| H A D | stringDagNode.cc | 44 StringDagNode::StringDagNode(StringSymbol* symbol, const Rope& value) in StringDagNode() function in StringDagNode
54 StringDagNode::getHashValue() in getHashValue()
63 StringDagNode::compareArguments(const DagNode* other) const in compareArguments()
65 return value.compare(static_cast<const StringDagNode*>(other)->value); in compareArguments()
69 StringDagNode::overwriteWithClone(DagNode* old) in overwriteWithClone()
71 StringDagNode* d = new(old) StringDagNode(safeCast(StringSymbol*, symbol()), value); in overwriteWithClone()
77 StringDagNode::makeClone() in makeClone()
79 StringDagNode* d = new StringDagNode(safeCast(StringSymbol*, symbol()), value); in makeClone()
|
| H A D | stringDagNode.hh | 31 class StringDagNode : public NA_DagNode class
34 StringDagNode(StringSymbol* symbol, const Rope& value);
48 StringDagNode::getValue() const in getValue()
|
| H A D | stringTerm.cc | 89 return value.compare(static_cast<const StringDagNode*>(other)->getValue()); in compareArguments()
95 (void) new(old) StringDagNode(static_cast<StringSymbol*>(symbol()), value); in overwriteWithDagNode()
101 return new StringDagNode(static_cast<StringSymbol*>(symbol()), value); in makeDagNode()
|
| H A D | stringSymbol.cc | 63 Sort* s = (static_cast<StringDagNode*>(subject)->getValue().length() == 1) ? charSort : sort; in computeBaseSort()
91 return new StringTerm(this, safeCast(StringDagNode*, dagNode)->getValue()); in termify()
|
| H A D | stringOpSymbol.cc | 213 const Rope& left = safeCast(StringDagNode*, a0)->getValue(); in eqRewrite()
254 const Rope& right = safeCast(StringDagNode*, a1)->getValue(); in eqRewrite()
345 const Rope& pattern = safeCast(StringDagNode*, a1)->getValue(); in eqRewrite()
401 args.append(new StringDagNode(stringSymbol, buffer)); in eqRewrite()
496 (void) new(subject) StringDagNode(stringSymbol, result); in rewriteToString()
|
| H A D | builtIn.hh | 46 class StringDagNode;
|
| H A D | matrixOpSymbol.cc | 223 const Rope& alg = safeCast(StringDagNode*, dagNode)->getValue(); in downAlgorithm()
|
| H A D | ChangeLog | 723 * stringDagNode.cc (StringDagNode): commented out Assert() to
1470 StringTerm, class StringDagNode, class StringOpSymbol
1478 * stringDagNode.cc (StringDagNode): take StringSymbol* arg
1482 * stringDagNode.hh (class StringDagNode): updated decl for
1483 StringDagNode()
1498 * stringDagNode.cc (StringDagNode): call setCallDtor() so that
|
| /dports/lang/maude/maude-2.7.1/src/ObjectSystem/ |
| H A D | socketOutcomes.cc | 30 reply[2] = new StringDagNode(stringSymbol, errorMessage); in errorReply()
68 reply[2] = new StringDagNode(stringSymbol, addr); in acceptedClientReply()
96 reply[2] = new StringDagNode(stringSymbol, text); in receivedMsgReply()
114 reply[2] = new StringDagNode(stringSymbol, errorMessage); in closedSocketReply()
|
| H A D | socketStuff.cc | 65 text = safeCast(StringDagNode*, textArg)->getValue(); in getText()
114 const Rope& address = safeCast(StringDagNode*, addressArg)->getValue(); in createClientTcpSocket()
|
| /dports/lang/maude/maude-2.7.1/src/Mixfix/ |
| H A D | quotedIdentifierOpSymbol.cc | 163 (void) new(subject) StringDagNode(stringSymbol, Token::name(d1->getIdIndex())); in eqRewrite()
175 int idIndex = Token::ropeToPrefixNameCode(static_cast<StringDagNode*>(a1)->getValue()); in eqRewrite()
|
| H A D | graphPrint.cc | 62 Token::ropeToString(safeCast(StringDagNode*, dagNode)->getValue(), strValue); in graphPrint()
|
| H A D | maudemlBuffer.cc | 388 else if (StringDagNode* s = dynamic_cast<StringDagNode*>(dagNode)) in generate()
|
| H A D | dagNodePrint.cc | 207 Token::ropeToString(safeCast(StringDagNode*, dagNode)->getValue(), strValue); in handleString()
|
| /dports/lang/maude/maude-2.7.1/src/Meta/ |
| H A D | metaUpModule.cc | 435 args2[0] = new StringDagNode(stringSymbol, Token::codeToRope(metadata)); in upPolymorphDecl()
572 args2[0] = new StringDagNode(stringSymbol, Token::codeToRope(metadata)); in upOpDecl()
866 args2[0] = new StringDagNode(stringSymbol, Token::codeToRope(metadata)); in upStatementAttributes()
|
| H A D | metaDownOps.cc | 366 Token::ropeToString(safeCast(StringDagNode*, metaStr)->getValue(), str); in downAttr()
|
| H A D | metaUp.cc | 143 Token::ropeToString(static_cast<StringDagNode*>(dagNode)->getValue(), result); in upDagNode()
|
| H A D | metaDown.cc | 702 Token::ropeToString(safeCast(StringDagNode*, metaStr)->getValue(), str); in downStatementAttr()
|