Package | Description |
---|---|
jme | |
jme.terminales |
Modifier and Type | Field and Description |
---|---|
static Util.FilterToken |
Util.INPUT_FILTER
Filtro para Token#entrada
|
static Util.FilterToken |
Util.OUTPUT_FILTER
Filtro para Token#toString
|
Modifier and Type | Method and Description |
---|---|
static java.lang.String[] |
Util.convertir(Token[] array,
Util.FilterToken filter)
Convierte un array de tokens en array de String mediante un filtro
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
Vector.aCSV(Util.FilterToken filter,
java.lang.String separador,
char quote,
boolean numLinea,
java.lang.String... encabezados)
Convierte un vector a formato CSV, siendo cada elemento una fila, y si
el elemento es otro vector, cada elemento suyo una columna de datos
|
java.lang.String |
Vector.toHtmlTable(Util.FilterToken filter,
java.lang.String salto,
boolean numLinea,
java.lang.String... encabezados)
Convierte un vector a formato tabla de HTML, siendo cada elemento una
fila, y si el elemento es otro vector, cada elemento suyo una columna de
datos
|