| |
|
| java.lang.Object ch.ethz.prose.query.Surrogate ch.ethz.prose.query.FieldSurrogate
FieldSurrogate | public class FieldSurrogate extends Surrogate (Code) | | Class FieldSurrogate represents a Field object.
version: $Revision: 1.1.1.1 $ author: Philippe Schoch |
FieldSurrogate | public FieldSurrogate(Field f)(Code) | | Constructs a new instance representing field f
Parameters: f - the field to represent |
equals | public boolean equals(Object o)(Code) | | Compares this instance with the passed object. Attention, this field has a
different semantic than the one in the Field class!!!
true if the passed object is of type FieldSurrogateand has the same name and type. |
getName | public String getName()(Code) | | Return the name of the contained field.
the name of the represented field. |
getType | public String getType()(Code) | | Return the type of the contained method
the type of the represented method |
hashCode | public int hashCode()(Code) | | |
toString | public String toString()(Code) | | Returns a string describing this Field. The format is the field type followed by the field name.
|
|
|
|