org.das2.util

Class Entities

java.lang.Object

org.das2.util.Entities

public class Entities
extends java.lang.Object

Encoder and decoder for HTML entities, like ρ for ρ. See https://shapecatcher.com/ to identify shapes and also https://detexify.kirelabs.org/classify.html for identifying LaTeX characters (which are not supported here).

Constructor Summary

Constructors

Constructor and Description
Entities()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	decode(java.lang.String entity) decode one entity, and "" empty string is returned when the string cannot be decoded.
static java.lang.String	decodeEntities(java.lang.String str) utility method for decoding entities like ρ into UNICODE.
static java.lang.String	encode(java.lang.String s) encode one or more entities.
static boolean	fontSupports(java.awt.Font f, java.lang.String s) return true of the font supports each character of the string.
static void	main(java.lang.String[] args)
static java.lang.String	pickEntityGUI() provide a picker GUI

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Entities

public Entities()

Method Detail

fontSupports

public static boolean fontSupports(java.awt.Font f,
                                   java.lang.String s)

return true of the font supports each character of the string.

Parameters:

f -

s -

Returns:

decodeEntities

public static java.lang.String decodeEntities(java.lang.String str)

utility method for decoding entities like ρ into UNICODE. Malformed entities (like B1; instead of α) are formatted as "???"

Parameters:

str - string e.g. "ρ degrees"

Returns:

string with Unicode characters for entities.

decode

public static java.lang.String decode(java.lang.String entity)

decode one entity, and "" empty string is returned when the string cannot be decoded.

Parameters:

entity - like ρ

Returns:

unicode character like "ρ"

encode

public static java.lang.String encode(java.lang.String s)

encode one or more entities.

Parameters:

s - string with unicode like "ρ"

Returns:

like ρ

pickEntityGUI

public static java.lang.String pickEntityGUI()

provide a picker GUI

Returns:

empty string or the selected character HTML.

main

public static void main(java.lang.String[] args)