mdoc.interfaces

Class Mdoc

java.lang.Object

mdoc.interfaces.Mdoc

public abstract class Mdoc
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Mdoc()

Method Summary

Modifier and Type	Method and Description
abstract EvaluatedWorksheet	evaluateWorksheet(java.lang.String filename, java.lang.String text)
abstract void	shutdown()
abstract Mdoc	withClasspath(java.util.List<java.nio.file.Path> classpath)
abstract Mdoc	withConsoleReporter(java.io.PrintStream out)
abstract Mdoc	withCoursierLogger(coursierapi.Logger logger)
abstract Mdoc	withScalacOptions(java.util.List<java.lang.String> options)
abstract Mdoc	withScreenHeight(int screenHeight)
abstract Mdoc	withScreenWidth(int screenWidth)
abstract Mdoc	withSettings(java.util.List<java.lang.String> settings)
abstract Mdoc	withWorkingDirectory(java.nio.file.Path workingDirectory)

Methods inherited from class java.lang.Object

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

Constructor Detail

Mdoc

public Mdoc()

Method Detail

evaluateWorksheet

public abstract EvaluatedWorksheet evaluateWorksheet(java.lang.String filename,
                                                     java.lang.String text)

withWorkingDirectory

public abstract Mdoc withWorkingDirectory(java.nio.file.Path workingDirectory)

withClasspath

public abstract Mdoc withClasspath(java.util.List<java.nio.file.Path> classpath)

withScalacOptions

public abstract Mdoc withScalacOptions(java.util.List<java.lang.String> options)

withSettings

public abstract Mdoc withSettings(java.util.List<java.lang.String> settings)

withConsoleReporter

public abstract Mdoc withConsoleReporter(java.io.PrintStream out)

withScreenHeight

public abstract Mdoc withScreenHeight(int screenHeight)

withScreenWidth

public abstract Mdoc withScreenWidth(int screenWidth)

withCoursierLogger

public abstract Mdoc withCoursierLogger(coursierapi.Logger logger)

shutdown

public abstract void shutdown()