jltools.ext.jif.extension
Class CallChecker

java.lang.Object
  |
  +--jltools.ext.jif.extension.CallChecker

public class CallChecker

extends java.lang.Object

This is a tool to label check method calls.

Field Summary

static java.util.Set

topics

Constructor Summary

CallChecker()

Method Summary

jltools.ext.jif.extension.CallChecker.Return	checkCall(ReferenceType ct, java.util.List args, ProcedureInstance pi, LabelChecker lc, SubtypeChecker subtypeChecker, Position position)
protected Label	instantiate(ReferenceType ct, Label L, LabelChecker lc)
protected Type	instantiate(ReferenceType ct, Type t, LabelChecker lc)
static void	report(int obscurity, java.lang.String s)
protected void	satisfiesConstraints(JifContext A, JifProcedureInstance jpi, java.util.List args, java.util.List labels)
protected Label	substLabel(Label L, java.util.List labels)
protected Principal	substPrincipal(Principal p, java.util.List labels)
protected Type	substType(Type t, java.util.List labels)

Methods inherited from class java.lang.Object

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

Field Detail

topics

public static java.util.Set topics

Constructor Detail

CallChecker

public CallChecker()

Method Detail

report

public static void report(int obscurity,
                          java.lang.String s)

substLabel

protected Label substLabel(Label L,
                           java.util.List labels)

substPrincipal

protected Principal substPrincipal(Principal p,
                                   java.util.List labels)

substType

protected Type substType(Type t,
                         java.util.List labels)
                  throws SemanticException

instantiate

protected Type instantiate(ReferenceType ct,
                           Type t,
                           LabelChecker lc)
                    throws SemanticException

instantiate

protected Label instantiate(ReferenceType ct,
                            Label L,
                            LabelChecker lc)

checkCall

public jltools.ext.jif.extension.CallChecker.Return checkCall(ReferenceType ct,
                                                              java.util.List args,
                                                              ProcedureInstance pi,
                                                              LabelChecker lc,
                                                              SubtypeChecker subtypeChecker,
                                                              Position position)
                                                       throws SemanticException

satisfiesConstraints

protected void satisfiesConstraints(JifContext A,
                                    JifProcedureInstance jpi,
                                    java.util.List args,
                                    java.util.List labels)
                             throws SemanticException