jif
Class ExtensionInfo.JifJobExt

java.lang.Object
  jif.ExtensionInfo.JifJobExt

All Implemented Interfaces:

polyglot.frontend.JobExt

Enclosing class:

ExtensionInfo

public static class ExtensionInfo.JifJobExt

extends java.lang.Object

implements polyglot.frontend.JobExt

Constructor Summary

ExtensionInfo.JifJobExt(JifTypeSystem ts)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExtensionInfo.JifJobExt

public ExtensionInfo.JifJobExt(JifTypeSystem ts)