Class ExportToJson

java.lang.Object
ca.mcscert.jpipe.compiler.model.Transformation<JustificationModel<?>, String>
ca.mcscert.jpipe.compiler.steps.transformations.ExportToJson

public class ExportToJson extends Transformation<JustificationModel<?>, String>
Compilation step that serialises a JustificationModel to JSON text.
  • Constructor Details

    • ExportToJson

      public ExportToJson()
  • 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.