Skip to content

Instantly share code, notes, and snippets.

@jediwhale

jediwhale/PiSymbolType.java

Created July 8, 2011 20:44
Download ZIP

Revisions

  1. jediwhale revised this gist Jul 8, 2011. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion PiSymbolType.java
    View file
    Original file line number Diff line number Diff line change
    @@ -8,4 +8,4 @@ public PiSymbolType () {
    public String toTarget(Translator translator, Symbol symbol) {
    return Double.toString(Math.PI);
    }
    }
    }
  2. jediwhale created this gist Jul 8, 2011.
    11 changes: 11 additions & 0 deletions PiSymbolType.java
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,11 @@
    public class PiSymbolType extends SymbolType implements Translation {
    public PiSymbolType () {
    super("Pi");
    wikiMatcher(new Matcher().string("!pi"));
    htmlTranslation(this);
    }

    public String toTarget(Translator translator, Symbol symbol) {
    return Double.toString(Math.PI);
    }
    }