def get_injected_token(self, copy_from: CommonToken, token_type_str):
new_token = copy_from.clone()
new_token.text = token_type_str
return new_token
def deriveToken(self, token: CommonToken, type: int):
res = token.clone()
res.type = type
return res
