Verified Commit 916a18b8 authored by Camil Staps's avatar Camil Staps
Browse files

GraphCopy: add cases for _Just{i,r,c,b,f,a} and n_Justs to exported_clean_symbol

parent 13f8cdb6
......@@ -53,8 +53,11 @@ exported_clean_symbol i s
| s.[i+2]=='J' && s.[i+3]=='u' && s.[i+4]=='s' && s.[i+5]=='t'
| s.[i+6]=='\0'
= True;
| s.[i+6]=='s' && s.[i+6]=='\0'
= True;
| s.[i+6]=='s' || s.[i+6]=='i' || s.[i+6]=='c' || s.[i+6]=='r' || s.[i+6]=='b' || s.[i+6]=='f' ||
s.[i+6]=='a'
| s.[i+7]=='\0'
= True;
= False;
= False;
= False;
| s.[i]=='I' && s.[i+1]=='N' && s.[i+2]=='T' && s.[i+3]=='\0'
......@@ -80,6 +83,8 @@ exported_clean_symbol i s
| s.[i+7]=='t' && s.[i+8]=='s' && s.[i+9]=='\0'
= True;
= False;
| s.[i+3]=='J' && s.[i+4]=='u' && s.[i+5]=='s' && s.[i+6]=='t' && s.[i+7]=='s' && s.[i+8]=='\0'
= True;
= False;
= False;
......
......@@ -53,8 +53,11 @@ exported_clean_symbol i s
| s.[i+2]=='J' && s.[i+3]=='u' && s.[i+4]=='s' && s.[i+5]=='t'
| s.[i+6]=='\0'
= True;
| s.[i+6]=='s' && s.[i+6]=='\0'
= True;
| s.[i+6]=='s' || s.[i+6]=='i' || s.[i+6]=='c' || s.[i+6]=='r' || s.[i+6]=='b' || s.[i+6]=='f' ||
s.[i+6]=='a'
| s.[i+7]=='\0'
= True;
= False;
= False;
= False;
| s.[i]=='I' && s.[i+1]=='N' && s.[i+2]=='T' && s.[i+3]=='\0'
......@@ -80,6 +83,8 @@ exported_clean_symbol i s
| s.[i+7]=='t' && s.[i+8]=='s' && s.[i+9]=='\0'
= True;
= False;
| s.[i+3]=='J' && s.[i+4]=='u' && s.[i+5]=='s' && s.[i+6]=='t' && s.[i+7]=='s' && s.[i+8]=='\0'
= True;
= False;
= False;
......
......@@ -120,8 +120,11 @@ exported_clean_symbol_length_le_8 s
= True;
| size s==6 && s.[2]=='J' && s.[3]=='u' && s.[4]=='s' && s.[5]=='t'
= True;
| size s==7 && s.[2]=='J' && s.[3]=='u' && s.[4]=='s' && s.[5]=='t' && s.[6]=='s'
= True;
| size s==7 && s.[2]=='J' && s.[3]=='u' && s.[4]=='s' && s.[5]=='t'
| s.[6]=='s' || s.[6]=='i' || s.[6]=='c' || s.[6]=='r' || s.[6]=='b' || s.[6]=='f' ||
s.[6]=='a'
= True;
= False;
= False;
| size s==3 && s.[0]=='I' && s.[1]=='N' && s.[2]=='T'
= True;
......@@ -142,6 +145,8 @@ exported_clean_symbol_length_le_8 s
= True;
= False;
= False;
| size s==8 && s.[3]=='J' && s.[4]=='u' && s.[5]=='s' && s.[6]=='t' && s.[7]=='s'
= True;
= False;
= False;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment