X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fgrammar.html;fp=helm%2FsearchEngine%2Fhtml%2Fgrammar.html;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=a18b27cd785f67c96cdbb023afa1bede34943f5f;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git diff --git a/helm/searchEngine/html/grammar.html b/helm/searchEngine/html/grammar.html deleted file mode 100644 index a18b27cd7..000000000 --- a/helm/searchEngine/html/grammar.html +++ /dev/null @@ -1,76 +0,0 @@ - - - - - -

<string>::= '"' [ "\" . | '^ " \' ] * '"' - -

<path>::= <string> [ "/" <string> ] * - -

<string_list>::= <string> [ "," <string> ] * - -

<alpha>::= [ 'A - Z' | 'a - z' |' :_' ] + - -

<number>::= [ '0 - 9' ] + - -

<id>::= <alpha> [ <alpha> | <number> ] * - -

<rvar>::= "@" <id> - -

<svar>::= "%" <id> - -

<vvar>::= "$" <id> - -

<refine>::= [ "sub" | "super" ] ? - -

<qualifier>::= [ "inverse" ] ? <refine> <path> - -

<assign>::= <vvar> "<-" <path> - -

<attr_list>::= [ "attr" <assign> [ "," <assign>] * ] ? - -

<val>::= "{" [ <string_list> ] ? "}"
-                 -| <string>
-                 -| "refof" <set>
-                 -| <rvar> "." <vvar>
-                 -| <vvar>
-                 -| "(" <val> ")"
-                 -| "property" <qualifier> <val> - - \ No newline at end of file