]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TDictionary.hh
Now it's possible to insert and delete control sequence with arguments
[helm.git] / helm / DEVEL / mathml_editor / src / TDictionary.hh
index 44c020cbe1796fd1fe77bdabc8ef419e297b8e4c..b769aaa4ed32e18d205bbc6e05d5791c6990809f 100644 (file)
@@ -36,7 +36,7 @@ public:
     { 
       cls = UNDEFINED;
       infix = prefix = postfix = 0;
-      delimiter = limits = embellishment = leftOpen = rightOpen = 0;
+      table = delimiter = limits = embellishment = leftOpen = rightOpen = 0;
     };
 
     std::vector<TToken> pattern;
@@ -45,6 +45,8 @@ public:
     bool defined(void) const { return cls != UNDEFINED; };
     bool hasArguments(void) const { return !pattern.empty(); };
     bool paramDelimited(unsigned) const;
+    bool lastDelimiter(unsigned) const;
+    unsigned previousParam(unsigned) const;
 
     EntryClass cls;
     unsigned infix : 8;