@override String valueToString(x) { var principal = x[0] as PrincipalId, str = x[1] as String; return "func '${principal.toText()}'.$str"; }