gnu.kawa.functions
Class CompileMisc

java.lang.Object
  extended by gnu.kawa.functions.CompileMisc
All Implemented Interfaces:
Inlineable

public class CompileMisc
extends java.lang.Object
implements Inlineable


Field Summary
static ClassType typeContinuation
           
 
Constructor Summary
CompileMisc(Procedure proc, int code)
           
 
Method Summary
 void compile(ApplyExp exp, Compilation comp, Target target)
           
static void compileCallCC(ApplyExp exp, Compilation comp, Target target, Procedure proc)
           
static void compileConvert(Convert proc, ApplyExp exp, Compilation comp, Target target)
           
 void compileNot(Not proc, ApplyExp exp, Compilation comp, Target target)
           
static CompileMisc forConvert(java.lang.Object proc)
           
static CompileMisc forNot(java.lang.Object proc)
           
static Expression validateApplyAppendValues(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
           
static Expression validateApplyCallCC(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
           
static Expression validateApplyConstantFunction0(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
           
static Expression validateApplyConvert(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
           
static Expression validateApplyFormat(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
          Validate-apply handling for "format".
static Expression validateApplyMakeProcedure(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
           
static Expression validateApplyMap(ApplyExp exp, InlineCalls visitor, Type required, Procedure xproc)
           
static Expression validateApplyNot(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
           
static Expression validateApplyValuesMap(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

typeContinuation

public static final ClassType typeContinuation
Constructor Detail

CompileMisc

public CompileMisc(Procedure proc,
                   int code)
Method Detail

forConvert

public static CompileMisc forConvert(java.lang.Object proc)

forNot

public static CompileMisc forNot(java.lang.Object proc)

compile

public void compile(ApplyExp exp,
                    Compilation comp,
                    Target target)
Specified by:
compile in interface Inlineable

validateApplyConstantFunction0

public static Expression validateApplyConstantFunction0(ApplyExp exp,
                                                        InlineCalls visitor,
                                                        Type required,
                                                        Procedure proc)

validateApplyConvert

public static Expression validateApplyConvert(ApplyExp exp,
                                              InlineCalls visitor,
                                              Type required,
                                              Procedure proc)

validateApplyNot

public static Expression validateApplyNot(ApplyExp exp,
                                          InlineCalls visitor,
                                          Type required,
                                          Procedure proc)

validateApplyFormat

public static Expression validateApplyFormat(ApplyExp exp,
                                             InlineCalls visitor,
                                             Type required,
                                             Procedure proc)
Validate-apply handling for "format". Sets the correct return-type, and may replace by call to a static method.


validateApplyAppendValues

public static Expression validateApplyAppendValues(ApplyExp exp,
                                                   InlineCalls visitor,
                                                   Type required,
                                                   Procedure proc)

validateApplyMakeProcedure

public static Expression validateApplyMakeProcedure(ApplyExp exp,
                                                    InlineCalls visitor,
                                                    Type required,
                                                    Procedure proc)

validateApplyValuesMap

public static Expression validateApplyValuesMap(ApplyExp exp,
                                                InlineCalls visitor,
                                                Type required,
                                                Procedure proc)

compileConvert

public static void compileConvert(Convert proc,
                                  ApplyExp exp,
                                  Compilation comp,
                                  Target target)

compileNot

public void compileNot(Not proc,
                       ApplyExp exp,
                       Compilation comp,
                       Target target)

validateApplyCallCC

public static Expression validateApplyCallCC(ApplyExp exp,
                                             InlineCalls visitor,
                                             Type required,
                                             Procedure proc)

compileCallCC

public static void compileCallCC(ApplyExp exp,
                                 Compilation comp,
                                 Target target,
                                 Procedure proc)

validateApplyMap

public static Expression validateApplyMap(ApplyExp exp,
                                          InlineCalls visitor,
                                          Type required,
                                          Procedure xproc)