Package jetbrains.mps.text

Class BasicToken

java.lang.Object

jetbrains.mps.text.BasicToken

All Implemented Interfaces:

TextAreaToken

public final class BasicToken
extends Object
implements TextAreaToken

Default implementation of text area identifier. One could use whatever comfortable to identify text area, provided it has correct equals(Object) implementation.

   TextBuffer tb;
   tb.pushArea(new BasicToken(42));
   tb.area().append("A");
   tb.pushArea(new BasicToken("body"));
   tb.area().append("B");
   tb.popArea();
   tb.area().append("C");
   tb.pushArea(new BasicToken("body"));
   tb.area().append("D");
 

yields two text areas, with "AC" in the chunk identified as '42', and "BD" in the text chunk identified as "body"

Constructor Summary

Constructors

Constructor	Description
BasicToken(Object identity)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

BasicToken

public BasicToken(@NotNull
                  Object identity)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object