### Question:
KompileOptions implements Serializable { public String docStyle() { if (backend == Backends.HTML) { if (docStyle == null) { return "k-definition.css"; } return docStyle; } if (docStyle == null) { return DEFAULT_DOC_STYLE; } if (docStyle.startsWith("+")) { return DEFAULT_DOC_STYLE + "," + docStyle.substring(1); } return docStyle; }  String docStyle(); String mainModule(FileUtil files); String syntaxModule(FileUtil files); boolean strict(); @ParametersDelegate
    transient GlobalOptions global; @ParametersDelegate
    public OuterParsingOptions outerParsing; @Parameter(names="--backend", description="Choose a backend. <backend> is one of [coq|java|skala]. Each creates the kompiled K definition.")
    public String backend; @Parameter(names="--transition", listConverter=StringListConverter.class, description="<string> is a whitespace-separated list of tags designating rules to become transitions.")
    public List<String> transition; static final String DEFAULT_TRANSITION; @ParametersDelegate
    public Experimental experimental; }### Answer:
@Test public void testHtmlDocStyle() { parse("--backend", "html", "foo.k"); assertEquals(Backends.HTML, options.backend); assertEquals("k-definition.css", options.docStyle()); }
@Test public void testDocStylePlus() { parse("--doc-style", "+foo", "foo.k"); assertEquals("poster,style=bubble,foo", options.docStyle()); }