ometa M <: Parser {
  ident = <letter (letter | digit)*>,
  expr = expr:x "." ident:f -> ['FieldAccess', x, f]
       | expr:x "(" ")" -> ['Call', x]
       | ident:x -> ['Var', x]
}

M.matchAll('x.y.z()', "expr")
M.matchAll('x.y().z', "expr")
M.matchAll('x().y.z', "expr")


ometa M2 <: M {
  expr2 = expr:e validate(e) -> e,
  validate = ['FieldAccess' :x :f]
}

M2.matchAll('x.y.z()', "expr2")
M2.matchAll('x.y().z', "expr2")
M2.matchAll('x().y.z', "expr2")


ometa M3 <: Parser {
  ident = <letter (letter | digit)*>,
  expr = ident validEnding,
  validEnding = "." ident validEnding
              | "." ident
              | "(" ")" validEnding,
  consumedByExpr = <expr>
}

M3.matchAll('x.y.z()', "consumedByExpr") --> x.y.z
M3.matchAll('x.y().z', "consumedByExpr") --> x.y().z
M3.matchAll('x().y.z', "consumedByExpr") --> x().y.z