<?xml version="1.0" encoding="UTF-8"?>
<jalopy>
    <general>
        <compliance>
            <version>14</version>
        </compliance>
        <style>
            <description>A style modeled after the C style conventions</description>
            <name>Indus</name>
        </style>
    </general>
    <inspector>
        <enable>true</enable>
        <naming>
            <classes>
                <abstract>[A-Z][a-zA-Z0-9]+</abstract>
                <general>[A-Z][a-zA-Z0-9]+</general>
            </classes>
            <fields>
                <default>[a-z][\w]+</default>
                <defaultStatic>[a-z][\w]+</defaultStatic>
                <defaultStaticFinal>[a-z0-9][\w]+</defaultStaticFinal>
                <private>[a-z][\w]+</private>
                <privateStatic>[a-z][\w]+</privateStatic>
                <privateStaticFinal>[a-z0-9][\w]+</privateStaticFinal>
                <protected>[a-z][\w]+</protected>
                <protectedStatic>[a-z][\w]+</protectedStatic>
                <protectedStaticFinal>[a-z0-9][\w]+</protectedStaticFinal>
                <public>_[a-z][\w]+</public>
                <publicStatic>_[a-z][\w]+</publicStatic>
                <publicStaticFinal>[A-Z][\w]+</publicStaticFinal>
            </fields>
            <interfaces>[A-Z][a-zA-Z0-9]+</interfaces>
            <labels>\w+</labels>
            <methods>
                <default>[a-z][\w]+</default>
                <defaultStatic>[a-z][\w]+</defaultStatic>
                <defaultStaticFinal>[a-z][\w]+</defaultStaticFinal>
                <private>[a-z][\w]+</private>
                <privateStatic>[a-z][\w]+</privateStatic>
                <privateStaticFinal>[a-z][\w]+</privateStaticFinal>
                <protected>[a-z][\w]+</protected>
                <protectedStatic>[a-z][\w]+</protectedStatic>
                <protectedStaticFinal>[a-z][\w]+</protectedStaticFinal>
                <public>[a-z][\w]+</public>
                <publicStatic>[a-z][\w]+</publicStatic>
                <publicStaticFinal>[a-z][\w]+</publicStaticFinal>
            </methods>
            <packages>[a-z]+(?:\.[a-z]+)*</packages>
            <parameters>
                <default>[a-z][\w]+</default>
                <final>[A-Z][\w]+</final>
            </parameters>
            <variables>[a-z][\w]*</variables>
        </naming>
        <tips>
            <adhereToNamingConvention>false</adhereToNamingConvention>
            <alwaysOverrideEquals>true</alwaysOverrideEquals>
            <alwaysOverrideHashCode>true</alwaysOverrideHashCode>
            <avoidThreadGroups>true</avoidThreadGroups>
            <declareCollectionComment>true</declareCollectionComment>
            <dontIgnoreExceptions>true</dontIgnoreExceptions>
            <dontSubstituteObjectEquals>true</dontSubstituteObjectEquals>
            <neverDeclareException>true</neverDeclareException>
            <neverDeclareThrowable>true</neverDeclareThrowable>
            <neverInvokeWaitOutsideLoop>true</neverInvokeWaitOutsideLoop>
            <neverReturnZeroArrays>true</neverReturnZeroArrays>
            <neverUseEmptyFinally>true</neverUseEmptyFinally>
            <obeyContractEquals>true</obeyContractEquals>
            <overrideToString>true</overrideToString>
            <referToObjectsByInterface>true</referToObjectsByInterface>
            <replaceStructureWithClass>true</replaceStructureWithClass>
            <stringLiterallI18n>false</stringLiterallI18n>
            <useInterfaceOnlyForTypes>true</useInterfaceOnlyForTypes>
            <wrongCollectionComment>true</wrongCollectionComment>
        </tips>
    </inspector>
    <internal>
        <version>6</version>
    </internal>
    <messages>
        <priority>
            <general>30000</general>
            <parser>30000</parser>
            <parserJavadoc>30000</parserJavadoc>
            <printer>30000</printer>
            <printerJavadoc>30000</printerJavadoc>
            <transform>30000</transform>
        </priority>
        <showErrorStackTrace>false</showErrorStackTrace>
    </messages>
    <misc>
        <threadCount>5</threadCount>
    </misc>
    <printer>
        <alignment>
            <methodCallChain>true</methodCallChain>
            <parameterMethodDeclaration>false</parameterMethodDeclaration>
            <ternaryOperator>true</ternaryOperator>
            <variableAssignment>false</variableAssignment>
            <variableIdentifier>false</variableIdentifier>
        </alignment>
        <backup>
            <directory>bak</directory>
            <level>1</level>
        </backup>
        <blanklines>
            <after>
                <block>0</block>
                <braceLeft>0</braceLeft>
                <class>2</class>
                <declaration>0</declaration>
                <footer>1</footer>
                <header>1</header>
                <interface>2</interface>
                <lastImport>2</lastImport>
                <method>1</method>
                <package>1</package>
            </after>
            <before>
                <block>1</block>
                <braceRight>0</braceRight>
                <caseBlock>1</caseBlock>
                <comment>
                    <javadoc>1</javadoc>
                    <multiline>1</multiline>
                    <singleline>0</singleline>
                </comment>
                <controlStatement>0</controlStatement>
                <declaration>1</declaration>
                <footer>1</footer>
                <header>1</header>
            </before>
            <keepUpTo>1</keepUpTo>
        </blanklines>
        <braces>
            <empty>
                <cuddle>false</cuddle>
                <insertStatement>true</insertStatement>
            </empty>
            <insert>
                <dowhile>true</dowhile>
                <for>true</for>
                <ifelse>true</ifelse>
                <while>true</while>
            </insert>
            <remove>
                <block>true</block>
                <dowhile>false</dowhile>
                <for>false</for>
                <ifelse>false</ifelse>
                <while>false</while>
            </remove>
            <treatDifferent>
                <methodClass>false</methodClass>
                <methodClassIfWrapped>false</methodClassIfWrapped>
            </treatDifferent>
        </braces>
        <chunks>
            <blanklines>true</blanklines>
            <comments>true</comments>
        </chunks>
        <comments>
            <format>
                <multiline>true</multiline>
            </format>
            <javadoc>
                <check>
                    <innerclass>true</innerclass>
                    <tags>true</tags>
                    <throwsTags>true</throwsTags>
                </check>
                <fieldsShort>false</fieldsShort>
                <generate>
                    <class>23</class>
                    <constructor>23</constructor>
                    <field>23</field>
                    <method>23</method>
                </generate>
                <parseComments>true</parseComments>
                <tags>
                    <in-line>@post|@pre|@invariant</in-line>
                    <standard>@post|@pre|@invariant</standard>
                </tags>
                <templates>
                    <class>/**| * DOCUMENT ME!| * &lt;p&gt;&lt;/p&gt;| *| * @author &lt;a href="$user_web$"&gt;$user_name$&lt;/a&gt;| * @author $Author$| * @version $Revision$ $Date$| */</class>
                    <constructor>
                        <bottom> */</bottom>
                        <exception> * @throws $exceptionType$ DOCUMENT ME!</exception>
                        <param> * @param $paramType$ DOCUMENT ME!</param>
                        <top>/**| * Creates a new $objectType$ object.</top>
                    </constructor>
                    <interface>/**| * DOCUMENT ME!| * &lt;p&gt;&lt;/p&gt;| * | * @version $Revision$ | * @author &lt;a href="$user_web$"&gt;$user_name$&lt;/a&gt;| * @author $Author$| */</interface>
                    <method>
                        <bottom> */</bottom>
                        <exception> * @throws $exceptionType$ DOCUMENT ME!</exception>
                        <param> * @param $paramType$ DOCUMENT ME!</param>
                        <return> * @return DOCUMENT ME!</return>
                        <top>/**| * DOCUMENT ME! &lt;p&gt;&lt;/p&gt;</top>
                    </method>
                    <variable>/** | * &lt;p&gt;DOCUMENT ME! &lt;/p&gt;| */</variable>
                </templates>
            </javadoc>
            <remove>
                <javadoc>false</javadoc>
                <multiline>false</multiline>
                <singleline>false</singleline>
            </remove>
            <separator>
                <fillCharacter>·</fillCharacter>
                <insert>false</insert>
                <insertRecursive>false</insertRecursive>
                <text>
                    <class>Classes</class>
                    <constructor>Constructors</constructor>
                    <field>Instance variables</field>
                    <initializer>Instance initializers</initializer>
                    <interface>Interfaces</interface>
                    <method>Methods</method>
                    <static>Static variables/initializers</static>
                </text>
            </separator>
        </comments>
        <environment>curr_year^2003|indus_proj^Indus, a toolkit to customize and adapt Java programs.|indus_web^http://indus.projects.cis.ksu.edu/|user_web^http://www.cis.ksu.edu/~rvprasad|cadena_proj^Cadena, Component architecture development environment for high-assurance systems.|cadena_web^http://www.cis.ksu.edu/cadena|bandera_web^http://www.cis.ksu.edu/santos/bandera|bandera_proj^Bandera, a Java(TM) analysis and transformation toolkit|user_eid^rvprasad@cis.ksu.edu|user_name^Venkatesh Prasad Ranganath</environment>
        <footer>
            <keys />
            <smartMode>1</smartMode>
            <text>/*****| ChangeLog:|| $Log$|*****/</text>
            <use>false</use>
        </footer>
        <header>
            <keys>Indus, a toolkit to customize and adapt Java programs.|Indus, a toolkit to customize and adapt CORBA-based Java programs.|Bandera, a Java(TM) analysis and transformation toolkit</keys>
            <smartMode>35</smartMode>
            <text>/*| * $indus_proj$| * Copyright (c) $curr_year$ SAnToS Laboratory, Kansas State University| *| * This software is licensed under the KSU Open Academic License.| * You should have received a copy of the license with the distribution.| * A copy can be found at| *     http://www.cis.ksu.edu/santos/license.html| * or you can contact the lab at:| *     SAnToS Laboratory| *     234 Nichols Hall| *     Manhattan, KS 66506, USA| */</text>
            <use>true</use>
        </header>
        <history>
            <method>timestamp</method>
            <policy>disabled</policy>
        </history>
        <imports>
            <grouping>
                <defaultDepth>9</defaultDepth>
                <packages>com:5|edu:5|gnu:5|java:5|javax:5|junit:5|net:5|org:5|soot:5</packages>
            </grouping>
            <policy>expand</policy>
            <sort>true</sort>
        </imports>
        <indentation>
            <caseFromSwitch>true</caseFromSwitch>
            <continuation>
                <block>true</block>
                <operator>true</operator>
            </continuation>
            <firstColumnComments>true</firstColumnComments>
            <label>false</label>
            <policy>
                <deep>false</deep>
            </policy>
            <sizes>
                <braceCuddled>1</braceCuddled>
                <braceLeft>1</braceLeft>
                <braceRight>0</braceRight>
                <braceRightAfter>1</braceRightAfter>
                <continuation>2</continuation>
                <deep>70</deep>
                <extends>2</extends>
                <general>4</general>
                <implements>2</implements>
                <leading>0</leading>
                <tabs>4</tabs>
                <throws>2</throws>
                <trailingComment>2</trailingComment>
            </sizes>
            <tabs>
                <enable>true</enable>
                <onlyLeading>false</onlyLeading>
            </tabs>
        </indentation>
        <misc>
            <arrayBracketsAfterIdent>false</arrayBracketsAfterIdent>
            <forceFormatting>true</forceFormatting>
            <insertExpressionParentheses>false</insertExpressionParentheses>
            <insertLoggingConditional>true</insertLoggingConditional>
            <insertTrailingNewline>true</insertTrailingNewline>
            <insertUID>false</insertUID>
        </misc>
        <sorting>
            <declaration>
                <class>true</class>
                <constructor>true</constructor>
                <enable>true</enable>
                <field>true</field>
                <interface>true</interface>
                <method>true</method>
                <order>static|field|initializer|constructor|interface|class|method</order>
                <static>true</static>
                <variable>true</variable>
            </declaration>
            <modifier>
                <enable>true</enable>
                <order>public|protected|private|static|final|abstract|transient|volatile|strictfp|synchronized|native</order>
            </modifier>
        </sorting>
        <whitespace>
            <after>
                <comma>true</comma>
                <semicolon>true</semicolon>
                <typeCast>true</typeCast>
            </after>
            <before>
                <braces>true</braces>
                <brackets>false</brackets>
                <bracketsTypes>false</bracketsTypes>
                <caseColon>true</caseColon>
                <operator>
                    <not>false</not>
                </operator>
                <parentheses>
                    <methodCall>false</methodCall>
                    <methodDeclaration>false</methodDeclaration>
                    <statement>true</statement>
                </parentheses>
            </before>
            <padding>
                <braces>true</braces>
                <brackets>false</brackets>
                <operator>
                    <assignment>true</assignment>
                    <bitwise>true</bitwise>
                    <logical>true</logical>
                    <mathematical>true</mathematical>
                    <relational>true</relational>
                    <shift>true</shift>
                </operator>
                <parenthesis>false</parenthesis>
                <typeCast>false</typeCast>
            </padding>
        </whitespace>
        <wrapping>
            <always>
                <after>
                    <arrayElement>0</arrayElement>
                    <braceRight>false</braceRight>
                    <extendsTypes>false</extendsTypes>
                    <implementsTypes>false</implementsTypes>
                    <label>true</label>
                    <methodCallChained>false</methodCallChained>
                    <ternaryOperator>
                        <first>false</first>
                        <second>true</second>
                    </ternaryOperator>
                    <throwsTypes>false</throwsTypes>
                </after>
                <before>
                    <braceLeft>false</braceLeft>
                    <extends>true</extends>
                    <implements>true</implements>
                    <throws>true</throws>
                </before>
                <parameter>
                    <methodCall>false</methodCall>
                    <methodCallNested>false</methodCallNested>
                    <methodDeclaration>false</methodDeclaration>
                </parameter>
            </always>
            <general>
                <beforeOperator>true</beforeOperator>
                <enable>true</enable>
                <lineLength>126</lineLength>
            </general>
            <ondemand>
                <after>
                    <assignment>true</assignment>
                    <leftParenthesis>false</leftParenthesis>
                    <parameter>true</parameter>
                    <types>
                        <extends>true</extends>
                        <implements>true</implements>
                        <throws>true</throws>
                    </types>
                </after>
                <before>
                    <rightParenthesis>false</rightParenthesis>
                </before>
                <groupingParentheses>false</groupingParentheses>
            </ondemand>
        </wrapping>
    </printer>
</jalopy>

