private StringBuilder readInputData() throws IOException { switch (input.getType()) { case STRING: return new StringBuilder(input.getString()); case FILE: /* (Assumes platform default encoding) */ return readCharacterStream(new InputStreamReader(new FileInputStream(input.getFile()))); case INPUT_STREAM: /* (Assumes platform default encoding) */ return readCharacterStream(new InputStreamReader(input.getInputStream())); case READER: return readCharacterStream(input.getReader()); default: throw new SnuggleLogicException("Unexpected switch case: " + input.getType()); } }
private StringBuilder readInputData() throws IOException { switch (input.getType()) { case STRING: return new StringBuilder(input.getString()); case FILE: /* (Assumes platform default encoding) */ return readCharacterStream(new InputStreamReader(new FileInputStream(input.getFile()))); case INPUT_STREAM: /* (Assumes platform default encoding) */ return readCharacterStream(new InputStreamReader(input.getInputStream())); case READER: return readCharacterStream(input.getReader()); default: throw new SnuggleLogicException("Unexpected switch case: " + input.getType()); } }
public static void main(String[] args) throws IOException { /* Create vanilla SnuggleEngine and new SnuggleSession */ SnuggleEngine engine = new SnuggleEngine(); SnuggleSession session = engine.createSession(); /* Parse some very basic Math Mode input */ SnuggleInput input = new SnuggleInput("$$ x+2=3 $$"); session.parseInput(input); /* Convert the results to an XML String, which in this case will * be a single MathML <math>...</math> element. */ String xmlString = session.buildXMLString(); System.out.println("Input " + input.getString() + " was converted to:\n" + xmlString); } }
public static void main(String[] args) throws IOException { /* Create vanilla SnuggleEngine and new SnuggleSession */ SnuggleEngine engine = new SnuggleEngine(); SnuggleSession session = engine.createSession(); /* Parse some very basic Math Mode input */ SnuggleInput input = new SnuggleInput("$$ x+2=3 $$"); session.parseInput(input); /* Convert the results to an XML String, which in this case will * be a single MathML <math>...</math> element. */ String xmlString = session.buildXMLString(); System.out.println("Input " + input.getString() + " was converted to:\n" + xmlString); } }
public static void main(String[] args) throws IOException { /* Create vanilla SnuggleEngine and new SnuggleSession */ SnuggleEngine engine = new SnuggleEngine(); SnuggleSession session = engine.createSession(); /* Parse some very basic Math Mode input */ SnuggleInput input = new SnuggleInput("$$ x+2=3 $$"); session.parseInput(input); /* Convert the results to an XML String, which in this case will * be a single MathML <math>...</math> element. */ String xmlString = session.buildXMLString(); System.out.println("Input " + input.getString() + " was converted to:\n" + xmlString); } }
private StringBuilder readInputData() throws IOException { switch (input.getType()) { case STRING: return new StringBuilder(input.getString()); case FILE: return readCharacterStream(createReader(new FileInputStream(input.getFile()), input.getEncoding())); case INPUT_STREAM: return readCharacterStream(createReader(input.getInputStream(), input.getEncoding())); case READER: return readCharacterStream(input.getReader()); default: throw new SnuggleLogicException("Unexpected switch case: " + input.getType()); } }