se.chalmers.cs.gf.linearize.gfvalue
Class Str

java.lang.Object
  se.chalmers.cs.gf.linearize.gfvalue.Value
      se.chalmers.cs.gf.linearize.gfvalue.Str

All Implemented Interfaces:

java.lang.Comparable<Value>

public class Str
extends Value

String value.

Constructor Summary

Str(java.lang.String str)

Method Summary

<R,A> R	accept(ValueVisitor<R,A> v, A arg)
boolean	equals(java.lang.Object o)
boolean	equals(Str r)
int	hashCode()
java.lang.String	toString()

Methods inherited from class se.chalmers.cs.gf.linearize.gfvalue.Value

compareTo, match

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Str

public Str(java.lang.String str)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

equals

public boolean equals(Str r)

accept

public <R,A> R accept(ValueVisitor<R,A> v,
                      A arg)

Specified by:

accept in class Value