- java.lang.Object
-
- javax0.jamal.tools.NamedMarker
-
- All Implemented Interfaces:
Marker
public class NamedMarker extends java.lang.Object implements Marker
Implementation of theMarker
interface that requires that the name passed as argument is the same in the objects passed topop(Marker)
and topush(Marker)
. The objects do not need to be the same, only the string passed inname
to the constructor has to be the same.
-
-
Constructor Summary
Constructors Constructor Description NamedMarker(java.lang.String name, java.util.function.Function<java.lang.String,java.lang.String> decorator)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object o)
int
hashCode()
java.lang.String
toString()
-
-
-
Constructor Detail
-
NamedMarker
public NamedMarker(java.lang.String name, java.util.function.Function<java.lang.String,java.lang.String> decorator)
- Parameters:
name
- is the identifier of the marker used to check the equalitydecorator
- a decorator used to create the string representation of the marker. This string representation is used in the error messages in the exceptions that are thrown.
-
-