kawa.lang
Class RecordConstructor

java.lang.Object
  extended by gnu.mapping.PropertySet
      extended by gnu.mapping.Procedure
          extended by gnu.mapping.ProcedureN
              extended by kawa.lang.RecordConstructor
All Implemented Interfaces:
Named

public class RecordConstructor
extends ProcedureN


Field Summary
 
Fields inherited from class gnu.mapping.ProcedureN
noArgs
 
Constructor Summary
RecordConstructor(java.lang.Class clas)
           
RecordConstructor(java.lang.Class clas, Field[] fields)
           
RecordConstructor(java.lang.Class clas, java.lang.Object fieldsList)
           
RecordConstructor(ClassType type)
           
RecordConstructor(ClassType type, Field[] fields)
           
RecordConstructor(ClassType type, java.lang.Object fieldsList)
           
 
Method Summary
 java.lang.Object applyN(java.lang.Object[] args)
           
 java.lang.String getName()
           
 int numArgs()
          Return minArgs()|(maxArgs<<12).
 
Methods inherited from class gnu.mapping.ProcedureN
apply0, apply1, apply2, apply3, apply4
 
Methods inherited from class gnu.mapping.Procedure
apply, apply, check0, check1, check2, check3, check4, checkArgCount, checkN, getSetter, getSourceLocation, match0, match1, match2, match3, match4, matchN, maxArgs, minArgs, set0, set1, setN, setSetter, setSourceLocation, toString
 
Methods inherited from class gnu.mapping.PropertySet
getProperty, getSymbol, removeProperty, setName, setProperty, setProperty, setSymbol
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

RecordConstructor

public RecordConstructor(ClassType type,
                         Field[] fields)

RecordConstructor

public RecordConstructor(java.lang.Class clas,
                         Field[] fields)

RecordConstructor

public RecordConstructor(java.lang.Class clas)

RecordConstructor

public RecordConstructor(ClassType type)

RecordConstructor

public RecordConstructor(java.lang.Class clas,
                         java.lang.Object fieldsList)

RecordConstructor

public RecordConstructor(ClassType type,
                         java.lang.Object fieldsList)
Method Detail

numArgs

public int numArgs()
Description copied from class: Procedure
Return minArgs()|(maxArgs<<12).

Overrides:
numArgs in class Procedure

getName

public java.lang.String getName()
Specified by:
getName in interface Named
Overrides:
getName in class PropertySet

applyN

public java.lang.Object applyN(java.lang.Object[] args)
Specified by:
applyN in class ProcedureN