K-user mailing list

["Park, Daejun" <dpark69 AT illinois.edu>]

Hi Pakakorn,

You can use #tokenToString and #parseToken, built-in functions for conversion between tokens and strings. For example,

syntax Name ::= Token{[\_\$A-Za-z][\_\$A-Za-z0-9]*}   [notInRules]

syntax String ::= StringOfName(Name) [function, notInPrograms]
rule StringOfName(N:Name) => #tokenToString(N)

syntax Name ::= NameOfString(String) [function, notInPrograms]
rule NameOfString(S:String) => #parseToken("Name", S)

Once you get the string representation of the token, you can use the built-in string library functions to manipulate the string, such as substrString, findString, replaceAll, lengthString, Char2String, and String2Char. Please refer to "include/builtins/string.k" for details: https://github.com/kframework/k/blob/master/include/builtins/string.k

Best,

Daejun

On Aug 20, 2014, at 2:06 PM, SITTHISAK Pakakorn <pakakorn.s AT jaist.ac.jp> wrote:

Hi,

If I would like to define my NewId like this.

syntax NewId ::= Lexer{( [A-Za-z][A-Za-z0-9]* | [A-Za-z][A-Za-z0-9]* "_" [A-Za-z][A-Za-z0-9]*) }

I would like to define function like newIdToString and concatenation function like

newIdToString( NewId_A1 ) => "NewId_A1"
concat(NewId , A1 ) => NewId_A1

How can I access each character, decompose new syntactical category and convert to other sorts, like String?

Thank you.

Pakakorn
_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user