ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

escjava.translate
Class Helper

java.lang.Object
  extended byescjava.translate.Helper

public class Helper
extends java.lang.Object


Constructor Summary
Helper()
           
 
Method Summary
static void abort(RoutineDecl rd)
           
static boolean isHelper(RoutineDecl r)
          Provides support for appropriately handling the 'helper' pragma during translation.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Helper

public Helper()
Method Detail

isHelper

public static boolean isHelper(RoutineDecl r)
Provides support for appropriately handling the 'helper' pragma during translation.


abort

public static void abort(RoutineDecl rd)

ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage