Hello, I just want to access the attributes of INTEGER and DIGIT - but how? INTEGER: DIGIT+ { print( "L: (INTEGER): " ) } ; fragment DIGIT: '0'..'9' { print( "L: (DIGIT): " ) } ; Thanks and greetings Udo