NaBL required reference

names.nab

module names

namespaces

  Global
  
binding rules

  Class(c, _):
    defines Global c
      of type ClassType(c)
    scopes Global

  Method(t, m,  _):
    defines Global m
    
  // This is required for Call(e, m) to resolve the method? Why?!
  NewObject(c):
    refers to Global c
  
  Call(e, m):
    refers to Global m in Global c
    where e has type ClassType(c)
  

syntax.sdf

module dummy

imports
  
  Common

context-free start-symbols
  
  Start

context-free syntax
  
  Start.Program = Class*
  
  Class.Class = <
    class <ID> {
      <Method>
    }>
  
  Method.Method = <
    <Type> <ID>() {
      <Stmt*>
    }>

  Type.ClassType = <<ID>>

  Stmt.Call = <<Exp>.<ID>();>

  Exp.NewObject = <new <ID>()>

test.spt

test [[
  class Foo {
    int [[m]]() {
    }
  }
  
  class Bar {
    int n() {
      new Foo().[[m]]();
    }
  }
]] resolve #2 to #1