de.dentrassi.varlink.generator

Class Generator.Options

java.lang.Object

de.dentrassi.varlink.generator.Generator.Options

Enclosing interface:

Generator

public static final class Generator.Options
extends Object

Constructor Summary

Constructors

Constructor and Description
Options()
Options(Generator.Options other)

Method Summary

Modifier and Type	Method and Description
Charset	getCharacterSet()
Path	getTargetPath()
void	setCharacterSet(Charset characterSet)
void	setTargetPath(Path targetPath)
void	validate()
void	validate(List<Exception> errors)

Methods inherited from class java.lang.Object

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

Constructor Detail

Options

public Options()

Options

public Options(Generator.Options other)

Method Detail

setCharacterSet

public void setCharacterSet(Charset characterSet)

getCharacterSet

public Charset getCharacterSet()

setTargetPath

public void setTargetPath(Path targetPath)

getTargetPath

public Path getTargetPath()

validate

public void validate(List<Exception> errors)

validate

public void validate()