Package com.articulate.sigma

Class TPTPFileChecker

java.lang.Object

com.articulate.sigma.TPTPFileChecker

public class TPTPFileChecker
extends Object

Constructor Summary

Constructors

Constructor	Description
TPTPFileChecker()

Method Summary

Modifier and Type	Method	Description
static List<ErrRec>	check(String contents)	Run syntax invalid input: '&' warning checks on TPTP content using tptp4X, returning a list of ErrRec diagnostics.
static List<ErrRec>	check(String contents, String fileName)	Run syntax invalid input: '&' warning checks on TPTP content using tptp4X, returning a list of ErrRec diagnostics.
static List<ErrRec>	checkWithAntlr(String contents, String fileName)	Parse TPTP text using the ANTLR-based TPTPVisitor.
static String	formatTptpText(String inputText, String fileName)	Format TPTP input text using tptp4X pretty-printing.
static void	main(String[] args)
static ErrRec	parseTPTP4XOutputToErrRec(String fileName, String tptpOutput, int severity)	Extract a single ErrRec from a chunk of TPTP4X output.

Methods inherited from class java.lang.Object

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

Constructor Details

TPTPFileChecker

public TPTPFileChecker()

Method Details

main

public static void main(String[] args)

check

public static List<ErrRec> check(String contents)

Run syntax invalid input: '&' warning checks on TPTP content using tptp4X, returning a list of ErrRec diagnostics.

Parameters:

contents - TPTP text to check

Returns:

list of ErrRec objects (errors invalid input: '&' warnings)

check

public static List<ErrRec> check(String contents,
 String fileName)

Run syntax invalid input: '&' warning checks on TPTP content using tptp4X, returning a list of ErrRec diagnostics.

Parameters:

contents - TPTP text to check

fileName - pseudo filename used in diagnostics

Returns:

list of ErrRec objects

checkWithAntlr

public static List<ErrRec> checkWithAntlr(String contents,
 String fileName)

Parse TPTP text using the ANTLR-based TPTPVisitor. Returns ErrRecs for any syntax problems or empty results.

parseTPTP4XOutputToErrRec

public static ErrRec parseTPTP4XOutputToErrRec(String fileName,
 String tptpOutput,
 int severity)

Extract a single ErrRec from a chunk of TPTP4X output. TPTP4X uses 1-based coordinates; ErrRec uses 0-based. Example TPTP4X line: % SZS status SyntaxError : Line 2 Char 3 Token "tf" ...

Parameters:

fileName - logical file name for the editor

tptpOutput - raw TPTP4X stdout/stderr (possibly multi-line)

severity - 1 = warning, 2 = error (currently unused but kept for API symmetry)

Returns:

ErrRec or null if we couldn't parse anything useful

formatTptpText

public static String formatTptpText(String inputText,
 String fileName)

Format TPTP input text using tptp4X pretty-printing.

Parameters:

inputText - Raw TPTP input.

fileName - Optional name of the file (used for error messages only).

Returns:

Formatted TPTP text, or null if formatting failed.