Class OEISWriter

java.lang.Object

org.episteme.core.io.AbstractResourceWriter<IntegerSequence>

org.episteme.core.mathematics.loaders.oeis.OEISWriter

All Implemented Interfaces:

ResourceIO<IntegerSequence>, ResourceWriter<IntegerSequence>

public class OEISWriter
extends AbstractResourceWriter<IntegerSequence>

Writer for exporting sequences to OEIS formats. Supports stripped format and b-file format.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	OEISWriter.OEISOutputFormat

Constructor Summary

Constructors

Constructor	Description
OEISWriter()

Method Summary

Modifier and Type	Method	Description
static void	exportBFile(IntegerSequence sequence, int count, PrintWriter writer)	Exports a sequence to the b-file format.
static void	exportStripped(IntegerSequence sequence, int count, PrintWriter writer)	Exports a sequence to the 'stripped' format.
OEISWriter	format(OEISWriter.OEISOutputFormat format)
String	getCategory()	Returns the category for grouping.
String	getDescription()	Returns a short description of this resource handler.
String	getLongDescription()	Returns a long description of this resource handler.
String	getName()	Returns the display name of this resource handler.
String	getResourcePath()	Returns the base path where this resource is located.
Class<IntegerSequence>	getResourceType()	Returns the type of resource.
String[]	getSupportedVersions()	Returns the supported versions of the format this reader/writer handles.
static boolean	isValidOEISId(String id)	Validates an OEIS ID format (A followed by 6 digits).
void	save(IntegerSequence sequence, String destination)	Saves the resource to a destination.
OEISWriter	termCount(int count)

Methods inherited from class AbstractResourceWriter

createBufferedStream

Methods inherited from class Object

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

Methods inherited from interface ResourceIO

getExpectedResourceFiles, getSupportedExtensions, isFileBased, isInput

Methods inherited from interface ResourceWriter

isOutput

Constructor Details

OEISWriter

public OEISWriter()

Method Details

getResourceType

public Class<IntegerSequence> getResourceType()

Description copied from interface: ResourceIO

Returns the type of resource.

getResourcePath

public String getResourcePath()

Description copied from interface: ResourceIO

Returns the base path where this resource is located.

getCategory

public String getCategory()

Description copied from interface: ResourceIO

Returns the category for grouping. MUST be implemented with I18N support.

Specified by:

getCategory in interface ResourceIO<IntegerSequence>

Overrides:

getCategory in class AbstractResourceWriter<IntegerSequence>

Returns:

the category name

getName

public String getName()

Description copied from interface: ResourceIO

Returns the display name of this resource handler. MUST be implemented with I18N support.

Specified by:

getName in interface ResourceIO<IntegerSequence>

Overrides:

getName in class AbstractResourceWriter<IntegerSequence>

Returns:

the display name

getDescription

public String getDescription()

Description copied from interface: ResourceIO

Returns a short description of this resource handler. MUST be implemented with I18N support.

Specified by:

getDescription in interface ResourceIO<IntegerSequence>

Overrides:

getDescription in class AbstractResourceWriter<IntegerSequence>

Returns:

the description

getLongDescription

public String getLongDescription()

Description copied from interface: ResourceIO

Returns a long description of this resource handler. MUST be implemented with I18N support.

Specified by:

getLongDescription in interface ResourceIO<IntegerSequence>

Overrides:

getLongDescription in class AbstractResourceWriter<IntegerSequence>

Returns:

the long description

termCount

public OEISWriter termCount(int count)

format

public OEISWriter format(OEISWriter.OEISOutputFormat format)

save

public void save(IntegerSequence sequence,
 String destination)
          throws Exception

Description copied from interface: ResourceWriter

Saves the resource to a destination.

Throws:

Exception

exportStripped

public static void exportStripped(IntegerSequence sequence,
 int count,
 PrintWriter writer)

Exports a sequence to the 'stripped' format. Format: ID ,term1,term2,term3,...

isValidOEISId

public static boolean isValidOEISId(String id)

Validates an OEIS ID format (A followed by 6 digits).

exportBFile

public static void exportBFile(IntegerSequence sequence,
 int count,
 PrintWriter writer)

Exports a sequence to the b-file format. Format: n a(n)

getSupportedVersions

public String[] getSupportedVersions()

Description copied from interface: ResourceIO

Returns the supported versions of the format this reader/writer handles.

Each implementation MUST override this method to declare which versions of the underlying format are supported. The returned array should contain version strings in the format's standard notation (e.g., "3.0", "2.1", "Level 3 Version 2").

Examples:

• MathML: {"3.0", "2.0"}
• SBML: {"Level 3 Version 2", "Level 3 Version 1", "Level 2 Version 5"}
• PhyloXML: {"1.10", "1.00"}

Returns:

array of supported version strings, never null (empty array if version-agnostic)