14 true [A-Z][a-zA-Z0-9]+ [A-Z][a-zA-Z0-9]+ [a-z][\w]+ [a-z][\w]+ [a-z0-9][\w]+ [a-z][\w]+ [a-z][\w]+ [a-z0-9][\w]+ [a-z][\w]+ [a-z][\w]+ [a-z0-9][\w]+ _[a-z][\w]+ _[a-z][\w]+ [A-Z][\w]+ [A-Z][a-zA-Z0-9]+ \w+ [a-z][\w]+ [a-z][\w]+ [a-z][\w]+ [a-z][\w]+ [a-z][\w]+ [a-z][\w]+ [a-z][\w]+ [a-z][\w]+ [a-z][\w]+ [a-z][\w]+ [a-z][\w]+ [a-z][\w]+ [a-z]+(?:\.[a-z]+)* [a-z][\w]+ [A-Z][\w]+ [a-z][\w]* false true true true true true true true true true true true true true true true false true true 6 30000 30000 30000 30000 30000 30000 false 5 true false true false false bak 1 0 0 2 0

2 2 1 1 1 0 1 1 1 0 0 1

1 false true true true true true true false false false false false false true true true true true true false 23 23 23 23 true

@post|@pre|@invariant

@post|@pre|@invariant /**| * DOCUMENT ME!| * | *| * @author <a href="$user_web$">$user_name$</a>| * @author $Author: rvprasad $| * @version $Revision: 1.2 $ $Date: 2004/04/28 21:45:13 $| */ */ * @throws $exceptionType$ DOCUMENT ME! * @param $paramType$ DOCUMENT ME! /**| * Creates a new $objectType$ object. /**| * DOCUMENT ME!| * | * | * @version $Revision: 1.2 $ | * @author <a href="$user_web$">$user_name$</a>| * @author $Author: rvprasad $| */ */ * @throws $exceptionType$ DOCUMENT ME! * @param $paramType$ DOCUMENT ME! * @return DOCUMENT ME! /**| * DOCUMENT ME! /** | * DOCUMENT ME! | */ false false false · false false Classes Constructors Instance variables Instance initializers Interfaces Methods Static variables/initializers 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

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 35 /*| * $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| */ true