/** * Returns the current context of Redberry session. * * @return the current context of Redberry session. */ public static Context current() { return Context.get(); }
/** * Returns a string representation of a tensor according to the default * {@link cc.redberry.core.context.OutputFormat} defined in * {@link cc.redberry.core.context.CC#getDefaultOutputFormat()}. * * @return a string representation of a tensor */ @Override public final String toString() { return toString(Context.get().getDefaultOutputFormat()); }
@Override public Tensor toTensor() { Tensor expression = Tensors.expression(content[0].toTensor(), content[1].toTensor()); if (preprocess) { for (Transformation tr : Context.get().getParseManager().defaultTensorPreprocessors) expression = tr.transform(expression); Context.get().getParseManager().defaultTensorPreprocessors.add((Transformation) expression); } return expression; } }
public static String toString(int index, OutputFormat mode) { return (getState(index) ? "^" : "_") + Context.get().getIndexConverterManager().getSymbol(index, mode) + ""; }
/** * Parse single index. * * @param string string representation of index * @return integer representation of index */ public static int parseIndex(String string) { string = string.trim(); boolean state = string.charAt(0) == '^'; int start = 0; if (string.charAt(0) == '^' || string.charAt(0) == '_') start = 1; int nameWithType; if (string.charAt(start) == '{') nameWithType = Context.get().getIndexConverterManager().getCode(string.substring(start + 1, string.length() - 1)); else nameWithType = Context.get().getIndexConverterManager().getCode(string.substring(start)); return state ? (0x80000000 ^ nameWithType) : nameWithType; }
@Override public final String toString() { return toString(Context.get().getDefaultOutputFormat()); }
private static String toStringIndex(int index, OutputFormat mode) { return (IndicesUtils.getState(index) ? "^" : "_") + Context.get().getIndexConverterManager().getSymbol(index, mode); }
public static String toString(int index) { return toString(index, Context.get().getDefaultOutputFormat()); }
@Override public String toString() { StringBuilder sb = new StringBuilder(); sb.append(Context.get().getIndexConverterManager().getSymbol(getIndexName(), OutputFormat.UTF8)); sb.append(":"); for (int i = 2; i >= 0; --i) sb.append(getStatesBit(i) ? 1 : 0); return sb.toString(); } }
if (currentState == 1) sb.append(format.upperIndexPrefix); else sb.append(format.lowerIndexPrefix); sb.append(Context.get().getIndexConverterManager().getSymbol(data[i], format)); if (i == data.length - 1) break; sb.append("_{"); for (int i = 0, size = metricIndices.size() - 1; ; ++i) { sb.append(Context.get().getIndexConverterManager().getSymbol(metricIndices.get(i), format)); if (i == size) break; lastState = currentState; sb.append(Context.get().getIndexConverterManager().getSymbol(nonMetricIndices.get(i), format)); lastState = currentState; sb.append(Context.get().getIndexConverterManager().getSymbol(data[i], format)); ++totalToPrint;