|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface FabricExt
This interface tags all fabric extension objects. All FabricExt objects
should be the second extension of an ast node, i.e. if n
is a
node, then n.ext.ext
refers to the FabricExt object
(n.ext
should be a Jif
).
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |