From 04483a77e8f20ef67db6467c477a7fcba129eef6 Mon Sep 17 00:00:00 2001 From: Rick Giles Date: Sun, 15 Dec 2002 15:59:26 +0000 Subject: [PATCH] Start on Configuration documentation. --- docs/config.html | 126 +++++++++++++++++++++++++++++++++++++---------- docs/mystyle.css | 18 +------ 2 files changed, 100 insertions(+), 44 deletions(-) diff --git a/docs/config.html b/docs/config.html index 7fb8fe6ef..056ef1bbd 100644 --- a/docs/config.html +++ b/docs/config.html @@ -1,36 +1,108 @@ - - + + + - Checkstyle Configuration Properties - Version @CHECKSTYLE_VERSION@ - + Checkstyle Configuration + -

Checkstyle Configuration Properties - Version @CHECKSTYLE_VERSION@

+ + + + + + +

Checkstyle Configuration

Checkstyle Logo
+ + + + + + + + +
+ + -

Checkstyle is configured through a properties file. NEED TO ADD A SAMPLE PROPERTIES FILE BUT I CAN ONLY DO SO MUCH DOCUMENTATION IN ONE SITTING!!!

+

Overview

+

+ Opt-in policy. XML config file & module hierarchy. How config names are resolved. Properties. +

+

Properties

+

+ Contexts. Property Expansion. +

+

Modules

+

+ PackageHtmlCheck, TranlationCheck, TreeWalker. TreeWalker checks. Repeated modules with different properties. +

+

TreeWalker Checks

+

+ Lead-in paragraph. +

+

+ Configuration of the checks are specified in the following pages: +

-

The properties for configuring the reporting mechanisms are defined in -Reporting Configuration. +

+

Tokens

+

+ What is a token? Default tokens. Acceptable tokens. +

+
-

The properties for configuring the checks are specified in the -following pages:

- - - - -
-

Copyright © 2002 Oliver Burn. All rights Reserved.

+
+

+Copyright © 2002 Oliver Burn. All rights Reserved. +

- + \ No newline at end of file diff --git a/docs/mystyle.css b/docs/mystyle.css index 29b50a85f..624ef61bd 100644 --- a/docs/mystyle.css +++ b/docs/mystyle.css @@ -34,23 +34,7 @@ td.content { width: 100%; } -p.body { - margin-left : 5%; - margin-right : 3%; -} - - -pre.body { - margin-left : 5%; - margin-right : 3%; -} - -table.body { - margin-left : 5%; - margin-right : 3%; -} - -li.body { +*.body { margin-left : 5%; margin-right : 3%; }