package com.github.javaparser.printer.configuration; |
|
import java.util.Optional; |
|
import java.util.Set; |
|
/** |
|
* This interface defines the API for printer configuration. |
|
* An option can be added or removed from the configuration. An indentation can also be added to it. |
|
*/ |
|
public interface PrinterConfiguration { |
|
/* |
|
* add or update an option |
|
*/ |
|
PrinterConfiguration addOption(ConfigurationOption option); |
|
/* |
|
* Remove an option |
|
*/ |
|
PrinterConfiguration removeOption(ConfigurationOption option); |
|
/* |
|
* True if an option is activated |
|
*/ |
|
boolean isActivated(ConfigurationOption option); |
|
/* |
|
* returns the specified option |
|
*/ |
|
Optional<ConfigurationOption> get(ConfigurationOption option); |
|
/* |
|
* returns all activated options |
|
*/ |
|
Set<ConfigurationOption> get(); |
|
} |