edu.neu.ccs.demeterf.inline.classes
Class FunctionClass

java.lang.Object
  extended by edu.neu.ccs.demeterf.inline.classes.FunctionClass

public class FunctionClass
extends java.lang.Object

Representation of FunctionClass


Nested Class Summary
static class FunctionClass.meths
          Field Class for FunctionClass.meths
static class FunctionClass.name
          Field Class for FunctionClass.name
 
Constructor Summary
FunctionClass(TypeUse name, List<Meth> meths)
          Construct a(n) FunctionClass Instance
 
Method Summary
 List<Meth> allApplicable(List<TypeUse> ts, SubTyping subs)
          Return the methods in this function class that are applicable to the given argument Types
 List<Meth> allPossible(List<TypeUse> ts, SubTyping subs)
          Return the methods in this function class that are applicable to the given argument Types
 List<Meth> applicableWithStar(List<Option<TypeUse>> ts, SubTyping subs)
          Return the methods in this function class that are applicable to the given argument (Option) Types.
 boolean equals(java.lang.Object o)
          Is the given object Equal to this FunctionClass?
static FunctionClass fromClass(java.lang.Class fc)
           
static FunctionClass fromClass(java.lang.Class fc, java.lang.String name)
           
 List<Meth> getMeths()
          Getter for field FunctionClass.meths
 TypeUse getName()
          Getter for field FunctionClass.name
static List<Meth> methods(java.lang.Class fc, java.lang.String name)
           
static FunctionClass parse(java.io.InputStream inpt)
          Parse an instance of FunctionClass from the given Stream
static FunctionClass parse(java.io.Reader inpt)
          Parse an instance of FunctionClass from the given Reader
static FunctionClass parse(java.lang.String inpt)
          Parse an instance of FunctionClass from the given String
 List<Meth> possibleWithStar(List<Option<TypeUse>> ts, SubTyping subs)
          Return the methods in this function class that are applicable to the given argument (Option) Types.
 java.lang.String toString()
          DGP method from Class PrintToString
 
Methods inherited from class java.lang.Object
getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

FunctionClass

public FunctionClass(TypeUse name,
                     List<Meth> meths)
Construct a(n) FunctionClass Instance

Method Detail

equals

public boolean equals(java.lang.Object o)
Is the given object Equal to this FunctionClass?

Overrides:
equals in class java.lang.Object

parse

public static FunctionClass parse(java.lang.String inpt)
                           throws ParseException
Parse an instance of FunctionClass from the given String

Throws:
ParseException

parse

public static FunctionClass parse(java.io.InputStream inpt)
                           throws ParseException
Parse an instance of FunctionClass from the given Stream

Throws:
ParseException

parse

public static FunctionClass parse(java.io.Reader inpt)
                           throws ParseException
Parse an instance of FunctionClass from the given Reader

Throws:
ParseException

fromClass

public static FunctionClass fromClass(java.lang.Class fc)

fromClass

public static FunctionClass fromClass(java.lang.Class fc,
                                      java.lang.String name)

methods

public static List<Meth> methods(java.lang.Class fc,
                                 java.lang.String name)

allApplicable

public List<Meth> allApplicable(List<TypeUse> ts,
                                SubTyping subs)
Return the methods in this function class that are applicable to the given argument Types


applicableWithStar

public List<Meth> applicableWithStar(List<Option<TypeUse>> ts,
                                     SubTyping subs)
Return the methods in this function class that are applicable to the given argument (Option) Types. Option.none() means that we don't know yet


allPossible

public List<Meth> allPossible(List<TypeUse> ts,
                              SubTyping subs)
Return the methods in this function class that are applicable to the given argument Types


possibleWithStar

public List<Meth> possibleWithStar(List<Option<TypeUse>> ts,
                                   SubTyping subs)
Return the methods in this function class that are applicable to the given argument (Option) Types. Option.none() means that we don't know yet


toString

public java.lang.String toString()
DGP method from Class PrintToString

Overrides:
toString in class java.lang.Object

getMeths

public List<Meth> getMeths()
Getter for field FunctionClass.meths


getName

public TypeUse getName()
Getter for field FunctionClass.name