Class ExportToPython

java.lang.Object

ca.mcscert.jpipe.compiler.model.Transformation<JustificationModel<?>, String>

ca.mcscert.jpipe.compiler.steps.transformations.ExportToPython

public class ExportToPython
extends Transformation<JustificationModel<?>, String>

Compilation step that serialises a JustificationModel to Python source text.

Nested Class Summary

Nested classes/interfaces inherited from class Transformation

Transformation.Step<I,O>

Field Summary

Fields inherited from class Transformation

logger

Constructor Summary

Constructors

Constructor	Description
ExportToPython()

Method Summary

Modifier and Type	Method	Description
protected String	run(JustificationModel<?> input, CompilationContext ctx)	Business logic of this step.

Methods inherited from class Transformation

andThen, fire, of, shouldLog, stepName

Methods inherited from class Object

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

Constructor Details

ExportToPython

public ExportToPython()

Method Details

run

protected String run(JustificationModel<?> input,
 CompilationContext ctx)

Description copied from class: Transformation

Business logic of this step. Must not return null; may throw any exception. Use ctx to report non-fatal diagnostics or inspect previously accumulated errors.

Specified by:

run in class Transformation<JustificationModel<?>, String>

Parameters:

input - the value produced by the previous step.

ctx - compilation context carrying the source path and diagnostic bag.

Returns:

the transformed value — never null.