public interface Var extends VarPattern
| Modifier and Type | Method and Description |
|---|---|
Var |
asUserDefined()
Transform the variable into a user-defined one, retaining the generated name.
|
boolean |
equals(Object o) |
String |
getValue()
Get the string name of the variable (without prefixed "$")
|
int |
hashCode() |
boolean |
isUserDefinedName()
Whether the variable has been manually defined or automatically generated.
|
Var |
map(java.util.function.Function<String,String> mapper)
Rename a variable (does not modify the original
Var) |
String |
shortName()
Get a shorter representation of the variable (with prefixed "$")
|
String |
toString() |
String getValue()
Var map(java.util.function.Function<String,String> mapper)
Var)mapper - a function to apply to the underlying variable nameboolean isUserDefinedName()
Var asUserDefined()
String shortName()
Copyright © 2017 Grakn Labs Ltd. All rights reserved.