Overview  Package   Class  Use  Deprecated  Index
Home >> All >> com >> k_int >> gen >> [ DiagnosticFormatDiag1 overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

com.k_int.gen.DiagnosticFormatDiag1
Class recordSyntax_inline57_type  

java.lang.Object
  com.k_int.gen.DiagnosticFormatDiag1.recordSyntax_inline57_type

---

public class recordSyntax_inline57_type

extends java.lang.Object

---

Field Summary
java.util.Vector	suggestedAlternatives
int[]	unsupportedSyntax

 

Constructor Summary

recordSyntax_inline57_type()

 

Methods inherited from class java.lang.Object

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

 

Field Detail

unsupportedSyntax

public int[] unsupportedSyntax

---

suggestedAlternatives

public java.util.Vector suggestedAlternatives

Constructor Detail

recordSyntax_inline57_type

public recordSyntax_inline57_type()

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> com >> k_int >> gen >> [ DiagnosticFormatDiag1 overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---