Native
Overview
TODO: Native
Native Peers
TODO
- peer factory
- how subclasses with natives can use single peer (fwt style)
Native Fields
Native fields are similar to abstract fields in that they generate a getter and setter, but no actual storage. The emit process will route the Fan getter/setter to the peer class:
class Native { native Int f } class NativePeer { public static NativePeer make(Native t) { return new NativePeer(); } public Int f(Native t) { return f; } public void f(Native t, Int v) { f = v; } Int f; }
Native fields can be virtual or override a superclass, but cannot be const, static, or abstract.