uk.ac.man.cs.rainbow.compiler.green
Class StandardBoolean

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.compiler.CompilerThing
        |
        +--uk.ac.man.cs.rainbow.compiler.CompilerNode
              |
              +--uk.ac.man.cs.rainbow.compiler.green.GreenComponent
                    |
                    +--uk.ac.man.cs.rainbow.compiler.green.BinaryStandardFunction
                          |
                          +--uk.ac.man.cs.rainbow.compiler.green.StandardBoolean

public class StandardBoolean

extends uk.ac.man.cs.rainbow.compiler.green.BinaryStandardFunction

Visual green boolean functions.

 $Log: StandardBoolean.java,v $
 Revision 1.3  2001/11/08 14:20:19  fellowsd
 Hacked to work with a Rapa generating environment

 Revision 1.2  2001/11/07 10:00:57  fellowsd
 Forgot a 'static' specifier

 Revision 1.1  2001/11/07 09:55:32  fellowsd
 Added RAPA generator

 

Fields inherited from class uk.ac.man.cs.rainbow.compiler.green.GreenComponent

device_name, inputs_actually_required, out_types

Fields inherited from class uk.ac.man.cs.rainbow.compiler.CompilerNode

next, sourcepos

Method Summary

ProcessTerm	getRAPA(RapaEnv env)
int	num_inputs(GreenEnv env)
int	num_outputs(GreenEnv env)
static StandardBoolean	standardBooleanAnd(SourcePosition sourcepos)
static StandardBoolean	standardBooleanOr(SourcePosition sourcepos)
static StandardBoolean	standardBooleanXor(SourcePosition sourcepos)
CompilerType	typecheckGreen(TCEnv env, Errors errors, CompilerType input_typeList)

Methods inherited from class uk.ac.man.cs.rainbow.compiler.green.GreenComponent

appendNextComponent, check_pipe, definitive_num_inputs, get_next, get_output_types, getInputChannels, getOutputChannels, inputs_required, num_params, rasm_list_nextComponent, rasm, set_delay_parameters, set_next, setNextComponents, setupNextComponents, toString

Methods inherited from class uk.ac.man.cs.rainbow.compiler.CompilerNode

append, appendNotParent, dumpNode, dumpTree, getParent, indent, iterator, list_typecheck, list_typecheck, listLength, listToString, noParent, rasm_list, rasm, setParent, typecheck, typecheck, typecheckGreen

Methods inherited from class uk.ac.man.cs.rainbow.compiler.CompilerThing

className, crashHere, getSerial

Methods inherited from class java.lang.Object

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

Method Detail

getRAPA

public ProcessTerm getRAPA(RapaEnv env)

Overrides:

getRAPA in class GreenComponent

standardBooleanAnd

public static StandardBoolean standardBooleanAnd(SourcePosition sourcepos)

standardBooleanOr

public static StandardBoolean standardBooleanOr(SourcePosition sourcepos)

standardBooleanXor

public static StandardBoolean standardBooleanXor(SourcePosition sourcepos)

num_inputs

public int num_inputs(GreenEnv env)

Overrides:

num_inputs in class GreenComponent

num_outputs

public int num_outputs(GreenEnv env)

Overrides:

num_outputs in class GreenComponent

typecheckGreen

public CompilerType typecheckGreen(TCEnv env,
                                   Errors errors,
                                   CompilerType input_typeList)

Overrides:

typecheckGreen in class GreenComponent