org.multijava.relaxed.runtime
Class RMJErrorSignature

java.lang.Object
  org.multijava.relaxed.runtime.RMJErrorSignature

public class RMJErrorSignature

extends java.lang.Object

Field Summary
private  RMJSignature	sig
private  java.lang.Object[]	specializers

 

Constructor Summary

RMJErrorSignature(RMJSignature s, java.lang.Object[] specs)

 

Method Summary
java.lang.String	ambigErrorClassName()
java.lang.String	bodyString()
java.lang.Class[]	errorSpecializers()
boolean	isInternalGF()
java.lang.String	toString()

 

Methods inherited from class java.lang.Object

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

 

Field Detail

sig

private RMJSignature sig

specializers

private java.lang.Object[] specializers

RMJErrorSignature

public RMJErrorSignature(RMJSignature s,
                         java.lang.Object[] specs)

ambigErrorClassName

public java.lang.String ambigErrorClassName()

errorSpecializers

public java.lang.Class[] errorSpecializers()

isInternalGF

public boolean isInternalGF()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

bodyString

public java.lang.String bodyString()