From: <js...@us...> - 2006-11-21 09:17:46
|
Revision: 2 http://svn.sourceforge.net/jcontracts/?rev=2&view=rev Author: jstuyts Date: 2006-11-21 01:17:45 -0800 (Tue, 21 Nov 2006) Log Message: ----------- Created project directory structure. Added Paths: ----------- trunk/source/ trunk/source/java/ Property Changed: ---------------- / trunk/ Property changes on: ___________________________________________________________________ Name: svn:ignore + Property changes on: trunk ___________________________________________________________________ Name: svn:ignore + .settings build local .classpath .project CommandPromptHereStartup.cmd PowerShellHereStartup.ps1 This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: <js...@us...> - 2006-11-21 10:51:05
|
Revision: 3 http://svn.sourceforge.net/jcontracts/?rev=3&view=rev Author: jstuyts Date: 2006-11-21 02:51:02 -0800 (Tue, 21 Nov 2006) Log Message: ----------- Initial checkin of original code moved to a new package. Added Paths: ----------- trunk/LICENSE.txt trunk/build.xml trunk/changelist.txt trunk/classes/ trunk/classes/antlr/ trunk/classes/antlr/ANTLRException.class trunk/classes/antlr/ANTLRGrammarParseBehavior.class trunk/classes/antlr/ANTLRHashString.class trunk/classes/antlr/ANTLRLexer.class trunk/classes/antlr/ANTLRParser.class trunk/classes/antlr/ANTLRStringBuffer.class trunk/classes/antlr/ANTLRTokdefLexer.class trunk/classes/antlr/ANTLRTokdefParser.class trunk/classes/antlr/ANTLRTokdefParserTokenTypes.class trunk/classes/antlr/ANTLRTokenTypes.class trunk/classes/antlr/ASTFactory.class trunk/classes/antlr/ASTIterator.class trunk/classes/antlr/ASTNULLType.class trunk/classes/antlr/ASTPair.class trunk/classes/antlr/ASTVisitor.class trunk/classes/antlr/AbstractParser.class trunk/classes/antlr/ActionElement.class trunk/classes/antlr/ActionTransInfo.class trunk/classes/antlr/Alternative.class trunk/classes/antlr/AlternativeBlock.class trunk/classes/antlr/AlternativeElement.class trunk/classes/antlr/BaseAST.class trunk/classes/antlr/BlockContext.class trunk/classes/antlr/BlockEndElement.class trunk/classes/antlr/BlockWithImpliedExitPath.class trunk/classes/antlr/CharBufferBacktrackingInteractive.class trunk/classes/antlr/CharBufferBacktrackingNoInteractive.class trunk/classes/antlr/CharBufferNoBacktrackingInteractive.class trunk/classes/antlr/CharBufferNoBacktrackingNoInteractive.class trunk/classes/antlr/CharFormatter.class trunk/classes/antlr/CharLiteralElement.class trunk/classes/antlr/CharQueue.class trunk/classes/antlr/CharRangeElement.class trunk/classes/antlr/CharScanner.class trunk/classes/antlr/CharScannerBacktrackingInteractive.class trunk/classes/antlr/CharScannerBacktrackingInteractiveNoCaseSensitive.class trunk/classes/antlr/CharScannerBacktrackingNoInteractive.class trunk/classes/antlr/CharScannerBacktrackingNoInteractiveNoCaseSensitive.class trunk/classes/antlr/CharScannerNoBacktrackingInteractive.class trunk/classes/antlr/CharScannerNoBacktrackingInteractiveNoCaseSensitive.class trunk/classes/antlr/CharScannerNoBacktrackingNoInteractive.class trunk/classes/antlr/CharScannerNoBacktrackingNoInteractiveNoCaseSensitive.class trunk/classes/antlr/CodeGenerator.class trunk/classes/antlr/CommonAST.class trunk/classes/antlr/CommonToken.class trunk/classes/antlr/DefaultToolErrorHandler.class trunk/classes/antlr/DefineGrammarSymbols.class trunk/classes/antlr/DiagnosticCodeGenerator.class trunk/classes/antlr/DumpASTVisitor.class trunk/classes/antlr/ExceptionHandler.class trunk/classes/antlr/ExceptionSpec.class trunk/classes/antlr/FileCopyException.class trunk/classes/antlr/Grammar.class trunk/classes/antlr/GrammarAnalyzer.class trunk/classes/antlr/GrammarAtom.class trunk/classes/antlr/GrammarElement.class trunk/classes/antlr/GrammarSymbol.class trunk/classes/antlr/JavaBlockFinishingInfo.class trunk/classes/antlr/JavaCharFormatter.class trunk/classes/antlr/JavaCodeGenerator.class trunk/classes/antlr/LLkAnalyzer.class trunk/classes/antlr/LLkGrammarAnalyzer.class trunk/classes/antlr/LLkParser.class trunk/classes/antlr/LLkParserNoInteractive.class trunk/classes/antlr/LexerGrammar.class trunk/classes/antlr/Lookahead.class trunk/classes/antlr/MakeGrammar.class trunk/classes/antlr/MismatchedTokenException.class trunk/classes/antlr/NoViableAltException.class trunk/classes/antlr/OneOrMoreBlock.class trunk/classes/antlr/OptionalBlock.class trunk/classes/antlr/Parser.class trunk/classes/antlr/ParserException.class trunk/classes/antlr/ParserGrammar.class trunk/classes/antlr/RuleBlock.class trunk/classes/antlr/RuleEndElement.class trunk/classes/antlr/RuleRefElement.class trunk/classes/antlr/RuleSymbol.class trunk/classes/antlr/ScannerException.class trunk/classes/antlr/SemanticException.class trunk/classes/antlr/SimpleTokenManager.class trunk/classes/antlr/StringLiteralElement.class trunk/classes/antlr/StringLiteralSymbol.class trunk/classes/antlr/SynPredBlock.class trunk/classes/antlr/TokdefTokenManager.class trunk/classes/antlr/Token.class trunk/classes/antlr/TokenBuffer.class trunk/classes/antlr/TokenManager.class trunk/classes/antlr/TokenQueue.class trunk/classes/antlr/TokenRangeElement.class trunk/classes/antlr/TokenRefElement.class trunk/classes/antlr/TokenSymbol.class trunk/classes/antlr/Tokenizer.class trunk/classes/antlr/Tool.class trunk/classes/antlr/ToolErrorHandler.class trunk/classes/antlr/TreeBlockContext.class trunk/classes/antlr/TreeElement.class trunk/classes/antlr/TreeParser.class trunk/classes/antlr/TreeSpecifierNode.class trunk/classes/antlr/TreeWalkerGrammar.class trunk/classes/antlr/WildcardElement.class trunk/classes/antlr/ZeroOrMoreBlock.class trunk/classes/antlr/actions/ trunk/classes/antlr/actions/ActionLexer.class trunk/classes/antlr/actions/ActionLexerTokenTypes.class trunk/classes/antlr/collections/ trunk/classes/antlr/collections/AST.class trunk/classes/antlr/collections/ASTEnumeration.class trunk/classes/antlr/collections/BitSetTest.class trunk/classes/antlr/collections/Enumerator.class trunk/classes/antlr/collections/LLStackTest.class trunk/classes/antlr/collections/LListTest.class trunk/classes/antlr/collections/List.class trunk/classes/antlr/collections/Stack.class trunk/classes/antlr/collections/impl/ trunk/classes/antlr/collections/impl/ASTArray.class trunk/classes/antlr/collections/impl/ASTEnumerator.class trunk/classes/antlr/collections/impl/BitSet.class trunk/classes/antlr/collections/impl/IndexedVector.class trunk/classes/antlr/collections/impl/LLCell.class trunk/classes/antlr/collections/impl/LLEnumeration.class trunk/classes/antlr/collections/impl/LList.class trunk/classes/antlr/collections/impl/Vector.class trunk/classes/antlr/collections/impl/VectorEnumeration.class trunk/classes/antlr/collections/impl/VectorEnumerator.class trunk/classes/antlr/preprocessor/ trunk/classes/antlr/preprocessor/Grammar.class trunk/classes/antlr/preprocessor/GrammarFile.class trunk/classes/antlr/preprocessor/Hierarchy.class trunk/classes/antlr/preprocessor/Option.class trunk/classes/antlr/preprocessor/Preprocessor.class trunk/classes/antlr/preprocessor/PreprocessorLexer.class trunk/classes/antlr/preprocessor/PreprocessorTokenTypes.class trunk/classes/antlr/preprocessor/Rule.class trunk/classes/antlr/preprocessor/Tool.class trunk/libraries/ trunk/libraries/log4j-1.2.11.jar trunk/project.properties trunk/readme.txt trunk/site/ trunk/source/MANIFEST.MF trunk/source/java/net/ trunk/source/java/net/sf/ trunk/source/java/net/sf/jcontracts/ trunk/source/java/net/sf/jcontracts/argparser/ trunk/source/java/net/sf/jcontracts/argparser/ArgLexer.java trunk/source/java/net/sf/jcontracts/argparser/ArgParser.java trunk/source/java/net/sf/jcontracts/argparser/ArgTokenTypes.java trunk/source/java/net/sf/jcontracts/argparser/ExtendedToken.java trunk/source/java/net/sf/jcontracts/argparser/MetaclassFactory.java trunk/source/java/net/sf/jcontracts/argparser/Option.java trunk/source/java/net/sf/jcontracts/argparser/OptionMetaclass.java trunk/source/java/net/sf/jcontracts/argparser/Parser.java trunk/source/java/net/sf/jcontracts/argparser/ParserMetaclassFactory.java trunk/source/java/net/sf/jcontracts/argparser/Target.java trunk/source/java/net/sf/jcontracts/argparser/TargetMetaclass.java trunk/source/java/net/sf/jcontracts/codeparser/ trunk/source/java/net/sf/jcontracts/codeparser/Class.java trunk/source/java/net/sf/jcontracts/codeparser/CodeComment.java trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclass.java trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclassCache.java trunk/source/java/net/sf/jcontracts/codeparser/DebugVisitor.java trunk/source/java/net/sf/jcontracts/codeparser/DottyVisitor.java trunk/source/java/net/sf/jcontracts/codeparser/DottyVisitorConstants.java trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_CommonLevel.java trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_PackageLevel.java trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_TypeLevel.java trunk/source/java/net/sf/jcontracts/codeparser/ExtendedToken.java trunk/source/java/net/sf/jcontracts/codeparser/ICodeBody.java trunk/source/java/net/sf/jcontracts/codeparser/ICodeMetaclassVisitor.java trunk/source/java/net/sf/jcontracts/codeparser/IDependencyFilter.java trunk/source/java/net/sf/jcontracts/codeparser/IDotty_Component_Level.java trunk/source/java/net/sf/jcontracts/codeparser/Interface.java trunk/source/java/net/sf/jcontracts/codeparser/JavaLexer.java trunk/source/java/net/sf/jcontracts/codeparser/JavaParser.java trunk/source/java/net/sf/jcontracts/codeparser/JavaTokenTypes.java trunk/source/java/net/sf/jcontracts/codeparser/MetaclassFactory.java trunk/source/java/net/sf/jcontracts/codeparser/Method.java trunk/source/java/net/sf/jcontracts/codeparser/Parser.java trunk/source/java/net/sf/jcontracts/codeparser/ParserMetaclassFactory.java trunk/source/java/net/sf/jcontracts/codeparser/TypeMetaclass.java trunk/source/java/net/sf/jcontracts/codeparser/Variable.java trunk/source/java/net/sf/jcontracts/dependencyanalyzer/ trunk/source/java/net/sf/jcontracts/dependencyanalyzer/BooleanBlockWithNodeArg.java trunk/source/java/net/sf/jcontracts/dependencyanalyzer/DependencyAnalyzer.java trunk/source/java/net/sf/jcontracts/dependencyanalyzer/Graph.java trunk/source/java/net/sf/jcontracts/dependencyanalyzer/Node.java trunk/source/java/net/sf/jcontracts/icontract/ trunk/source/java/net/sf/jcontracts/icontract/AllFilesUpToDateException.java trunk/source/java/net/sf/jcontracts/icontract/AllOption.java trunk/source/java/net/sf/jcontracts/icontract/ArgMetaclassFactory.java trunk/source/java/net/sf/jcontracts/icontract/AssertionExpression.java trunk/source/java/net/sf/jcontracts/icontract/Class.java trunk/source/java/net/sf/jcontracts/icontract/CleanOption.java trunk/source/java/net/sf/jcontracts/icontract/CompilerOption.java trunk/source/java/net/sf/jcontracts/icontract/Constants.java trunk/source/java/net/sf/jcontracts/icontract/Darwin.java trunk/source/java/net/sf/jcontracts/icontract/DefaultExceptionOption.java trunk/source/java/net/sf/jcontracts/icontract/FileTarget.java trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java trunk/source/java/net/sf/jcontracts/icontract/IContracted.java trunk/source/java/net/sf/jcontracts/icontract/Interface.java trunk/source/java/net/sf/jcontracts/icontract/Internal0Option.java trunk/source/java/net/sf/jcontracts/icontract/InvCheck.java trunk/source/java/net/sf/jcontracts/icontract/InvCheckCallOption.java trunk/source/java/net/sf/jcontracts/icontract/MergeOption.java trunk/source/java/net/sf/jcontracts/icontract/MetaclassFactory.java trunk/source/java/net/sf/jcontracts/icontract/Method.java trunk/source/java/net/sf/jcontracts/icontract/NoInitialCompilationOption.java trunk/source/java/net/sf/jcontracts/icontract/NoRepositoryCompilationOption.java trunk/source/java/net/sf/jcontracts/icontract/OneOneOption.java trunk/source/java/net/sf/jcontracts/icontract/Option.java trunk/source/java/net/sf/jcontracts/icontract/OutputOption.java trunk/source/java/net/sf/jcontracts/icontract/ParameterOption.java trunk/source/java/net/sf/jcontracts/icontract/PrePostCheck.java trunk/source/java/net/sf/jcontracts/icontract/ProcessingOption.java trunk/source/java/net/sf/jcontracts/icontract/QuietOption.java trunk/source/java/net/sf/jcontracts/icontract/Repository.java trunk/source/java/net/sf/jcontracts/icontract/RepositoryOutputOption.java trunk/source/java/net/sf/jcontracts/icontract/SourceCompilerOption.java trunk/source/java/net/sf/jcontracts/icontract/SystemInTarget.java trunk/source/java/net/sf/jcontracts/icontract/Target.java trunk/source/java/net/sf/jcontracts/icontract/Tool.java trunk/source/java/net/sf/jcontracts/icontract/UnableToDetermineTypeException.java trunk/source/java/net/sf/jcontracts/icontract/Variable.java trunk/source/java/net/sf/jcontracts/icontract/VerboseOption.java trunk/source/java/net/sf/jcontracts/icontract/WrapExceptionOption.java trunk/source/java/net/sf/jcontracts/icontract/XOption.java trunk/source/java/net/sf/jcontracts/icontract/instruction/ trunk/source/java/net/sf/jcontracts/icontract/instruction/DeclareReturnValueHolder.java trunk/source/java/net/sf/jcontracts/icontract/instruction/Instruction.java trunk/source/java/net/sf/jcontracts/icontract/instruction/InstructionBase.java trunk/source/java/net/sf/jcontracts/icontract/side/ trunk/source/java/net/sf/jcontracts/icontract/side/MethodFront.java trunk/source/java/net/sf/jcontracts/icontract/side/Side.java trunk/source/java/net/sf/jcontracts/icontract/side/SideBase.java trunk/source/java/net/sf/jcontracts/icontract/side/SideFactory.java trunk/source/java/net/sf/jcontracts/icontract/util/ trunk/source/java/net/sf/jcontracts/icontract/util/Array.java trunk/source/java/net/sf/jcontracts/idarwin/ trunk/source/java/net/sf/jcontracts/idarwin/specification/ trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/ trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/ trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/ArchitectureSpecification.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/ArchitectureSpecificationFilter.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/CompositePattern.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/Dependency.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/DependencyConstraint.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/DependencyConstraintExporter.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/DifferencePattern.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/Group.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/Idiom.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/IdiomFactory.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/IsolateIdiom.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/LanguageFactory.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/LayerIdiom.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/PSpecLexer.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/PSpecParser.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/PSpecTokenTypes.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/Pattern.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/PatternFactory.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/PatternSyntaxException.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/SetPattern.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/SingleDependencyConstraint.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/SingularPattern.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/StrictlyLayerIdiom.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/xml/ trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/xml/XMLRuleLanguage.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/xml/XMLRuleLanguageSpecification.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/with_rules/ trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/with_rules/IArchitectureSpecification.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/with_rules/IRule.java trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/ trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureExporter.java trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureSpecification.java trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureSpecificationFilter.java trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IDependency.java trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/ILanguageFactory.java trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IllFormedSpecificationException.java trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/RunData.java trunk/source/java/net/sf/jcontracts/util/ trunk/source/java/net/sf/jcontracts/util/JavaEvaluator.java trunk/source/java/net/sf/jcontracts/util/StringComparator.java Property Changed: ---------------- trunk/ Property changes on: trunk ___________________________________________________________________ Name: svn:ignore - .settings build local .classpath .project CommandPromptHereStartup.cmd PowerShellHereStartup.ps1 + .settings build local .classpath .project CommandPromptHereStartup.cmd PowerShellHereStartup.ps1 local.properties Added: trunk/LICENSE.txt =================================================================== --- trunk/LICENSE.txt (rev 0) +++ trunk/LICENSE.txt 2006-11-21 10:51:02 UTC (rev 3) @@ -0,0 +1,201 @@ + Apache License + Version 2.0, January 2004 + http://www.apache.org/licenses/ + + TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION + + 1. Definitions. + + "License" shall mean the terms and conditions for use, reproduction, + and distribution as defined by Sections 1 through 9 of this document. + + "Licensor" shall mean the copyright owner or entity authorized by + the copyright owner that is granting the License. + + "Legal Entity" shall mean the union of the acting entity and all + other entities that control, are controlled by, or are under common + control with that entity. For the purposes of this definition, + "control" means (i) the power, direct or indirect, to cause the + direction or management of such entity, whether by contract or + otherwise, or (ii) ownership of fifty percent (50%) or more of the + outstanding shares, or (iii) beneficial ownership of such entity. + + "You" (or "Your") shall mean an individual or Legal Entity + exercising permissions granted by this License. + + "Source" form shall mean the preferred form for making modifications, + including but not limited to software source code, documentation + source, and configuration files. + + "Object" form shall mean any form resulting from mechanical + transformation or translation of a Source form, including but + not limited to compiled object code, generated documentation, + and conversions to other media types. + + "Work" shall mean the work of authorship, whether in Source or + Object form, made available under the License, as indicated by a + copyright notice that is included in or attached to the work + (an example is provided in the Appendix below). + + "Derivative Works" shall mean any work, whether in Source or Object + form, that is based on (or derived from) the Work and for which the + editorial revisions, annotations, elaborations, or other modifications + represent, as a whole, an original work of authorship. For the purposes + of this License, Derivative Works shall not include works that remain + separable from, or merely link (or bind by name) to the interfaces of, + the Work and Derivative Works thereof. + + "Contribution" shall mean any work of authorship, including + the original version of the Work and any modifications or additions + to that Work or Derivative Works thereof, that is intentionally + submitted to Licensor for inclusion in the Work by the copyright owner + or by an individual or Legal Entity authorized to submit on behalf of + the copyright owner. For the purposes of this definition, "submitted" + means any form of electronic, verbal, or written communication sent + to the Licensor or its representatives, including but not limited to + communication on electronic mailing lists, source code control systems, + and issue tracking systems that are managed by, or on behalf of, the + Licensor for the purpose of discussing and improving the Work, but + excluding communication that is conspicuously marked or otherwise + designated in writing by the copyright owner as "Not a Contribution." + + "Contributor" shall mean Licensor and any individual or Legal Entity + on behalf of whom a Contribution has been received by Licensor and + subsequently incorporated within the Work. + + 2. Grant of Copyright License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + copyright license to reproduce, prepare Derivative Works of, + publicly display, publicly perform, sublicense, and distribute the + Work and such Derivative Works in Source or Object form. + + 3. Grant of Patent License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + (except as stated in this section) patent license to make, have made, + use, offer to sell, sell, import, and otherwise transfer the Work, + where such license applies only to those patent claims licensable + by such Contributor that are necessarily infringed by their + Contribution(s) alone or by combination of their Contribution(s) + with the Work to which such Contribution(s) was submitted. If You + institute patent litigation against any entity (including a + cross-claim or counterclaim in a lawsuit) alleging that the Work + or a Contribution incorporated within the Work constitutes direct + or contributory patent infringement, then any patent licenses + granted to You under this License for that Work shall terminate + as of the date such litigation is filed. + + 4. Redistribution. You may reproduce and distribute copies of the + Work or Derivative Works thereof in any medium, with or without + modifications, and in Source or Object form, provided that You + meet the following conditions: + + (a) You must give any other recipients of the Work or + Derivative Works a copy of this License; and + + (b) You must cause any modified files to carry prominent notices + stating that You changed the files; and + + (c) You must retain, in the Source form of any Derivative Works + that You distribute, all copyright, patent, trademark, and + attribution notices from the Source form of the Work, + excluding those notices that do not pertain to any part of + the Derivative Works; and + + (d) If the Work includes a "NOTICE" text file as part of its + distribution, then any Derivative Works that You distribute must + include a readable copy of the attribution notices contained + within such NOTICE file, excluding those notices that do not + pertain to any part of the Derivative Works, in at least one + of the following places: within a NOTICE text file distributed + as part of the Derivative Works; within the Source form or + documentation, if provided along with the Derivative Works; or, + within a display generated by the Derivative Works, if and + wherever such third-party notices normally appear. The contents + of the NOTICE file are for informational purposes only and + do not modify the License. You may add Your own attribution + notices within Derivative Works that You distribute, alongside + or as an addendum to the NOTICE text from the Work, provided + that such additional attribution notices cannot be construed + as modifying the License. + + You may add Your own copyright statement to Your modifications and + may provide additional or different license terms and conditions + for use, reproduction, or distribution of Your modifications, or + for any such Derivative Works as a whole, provided Your use, + reproduction, and distribution of the Work otherwise complies with + the conditions stated in this License. + + 5. Submission of Contributions. Unless You explicitly state otherwise, + any Contribution intentionally submitted for inclusion in the Work + by You to the Licensor shall be under the terms and conditions of + this License, without any additional terms or conditions. + Notwithstanding the above, nothing herein shall supersede or modify + the terms of any separate license agreement you may have executed + with Licensor regarding such Contributions. + + 6. Trademarks. This License does not grant permission to use the trade + names, trademarks, service marks, or product names of the Licensor, + except as required for reasonable and customary use in describing the + origin of the Work and reproducing the content of the NOTICE file. + + 7. Disclaimer of Warranty. Unless required by applicable law or + agreed to in writing, Licensor provides the Work (and each + Contributor provides its Contributions) on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or + implied, including, without limitation, any warranties or conditions + of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A + PARTICULAR PURPOSE. You are solely responsible for determining the + appropriateness of using or redistributing the Work and assume any + risks associated with Your exercise of permissions under this License. + + 8. Limitation of Liability. In no event and under no legal theory, + whether in tort (including negligence), contract, or otherwise, + unless required by applicable law (such as deliberate and grossly + negligent acts) or agreed to in writing, shall any Contributor be + liable to You for damages, including any direct, indirect, special, + incidental, or consequential damages of any character arising as a + result of this License or out of the use or inability to use the + Work (including but not limited to damages for loss of goodwill, + work stoppage, computer failure or malfunction, or any and all + other commercial damages or losses), even if such Contributor + has been advised of the possibility of such damages. + + 9. Accepting Warranty or Additional Liability. While redistributing + the Work or Derivative Works thereof, You may choose to offer, + and charge a fee for, acceptance of support, warranty, indemnity, + or other liability obligations and/or rights consistent with this + License. However, in accepting such obligations, You may act only + on Your own behalf and on Your sole responsibility, not on behalf + of any other Contributor, and only if You agree to indemnify, + defend, and hold each Contributor harmless for any liability + incurred by, or claims asserted against, such Contributor by reason + of your accepting any such warranty or additional liability. + + END OF TERMS AND CONDITIONS + + APPENDIX: How to apply the Apache License to your work. + + To apply the Apache License to your work, attach the following + boilerplate notice, with the fields enclosed by brackets "[]" + replaced with your own identifying information. (Don't include + the brackets!) The text should be enclosed in the appropriate + comment syntax for the file format. We also recommend that a + file or class name and description of purpose be included on the + same "printed page" as the copyright notice for easier + identification within third-party archives. + + Copyright [yyyy] [name of copyright owner] + + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. Added: trunk/build.xml =================================================================== --- trunk/build.xml (rev 0) +++ trunk/build.xml 2006-11-21 10:51:02 UTC (rev 3) @@ -0,0 +1,129 @@ +<?xml version="1.0" encoding="UTF-8"?> +<project name="JcontractS" default="compile"> + <property file="local.properties" /> + <property file="project.properties" /> + + <defaultexcludes add="**/Thumbs.db" /> + <defaultexcludes add="$jarplug.work" /> + <defaultexcludes add="$jarplug.work/**" /> + + <filterset id="filter.sourceforge-logo" + begintoken="src="" + endtoken="""> + <filter token="resources/images/sflogo.png" + value="src="http://sourceforge.net/sflogo.php?group_id=148319&amp;type=2"" /> + </filterset> + + <target name="clean" description="Deletes all build artifacts."> + <delete dir="build/ant" /> + </target> + + <target name="compile" description="Compile the classes"> + <mkdir dir="build/ant/classes" /> + <javac srcdir="source/java" + destdir="build/ant/classes" + source="1.4" + target="1.4" + debug="true" + optimize="false"> + <include name="**/*.java" /> + <classpath> + <fileset dir="libraries"> + <include name="*.jar" /> + </fileset> + <pathelement location="classes"/> + </classpath> + </javac> + <copy todir="build/ant/classes"> + <fileset dir="source/java"> + <include name="**/*.png" /> + <include name="**/*.properties" /> + </fileset> + </copy> + </target> + + <target name="jar" description="Create the JAR file." depends="compile"> + <jar destfile="build/ant/${distribution.name}-${project.version}.jar" + manifest="source/MANIFEST.MF"> + <fileset dir="build/ant/classes"> + <include name="**" /> + </fileset> + </jar> + </target> + + <target name="distribution" + description="Builds the binary and source distributions." + depends="jar"> + <antcall target="-binary-distribution-" /> + <antcall target="-source-distribution-" /> + </target> + + <target name="-binary-distribution-"> + <mkdir dir="build/ant/binary-dist" /> + <copy todir="build/ant/binary-dist" + file="build/ant/${distribution.name}-${project.version}.jar" /> + <copy todir="build/ant/binary-dist" file="LICENSE.txt" /> + <copy todir="build/ant/binary-dist" file="JcontractS.ico" /> + + <mkdir dir="build/ant/binary-dist/documentation" /> + <copy todir="build/ant/binary-dist/documentation"> + <fileset dir="site"> + <include name="**" /> + </fileset> + </copy> + + <zip destfile="build/ant/${distribution.name}-${project.version}.zip"> + <fileset dir="build/ant/binary-dist"> + <include name="**" /> + </fileset> + </zip> + </target> + + <target name="upload-site" + description="Upload the documentation to the SourceForge.net webspace."> + <fail unless="deploy.username" + message="'deploy.username' must be set in 'local.properties'." /> + <fail unless="deploy.password" + message="'deploy.password' must be set in 'local.properties'." /> + + <mkdir dir="build/ant/site" /> + <copy todir="build/ant/site" filtering="false"> + <fileset dir="site"> + <exclude name="index.html" /> + <include name="**" /> + </fileset> + </copy> + <copy todir="build/ant/site" filtering="true"> + <filterset refid="filter.sourceforge-logo" /> + <fileset dir="site"> + <include name="index.html" /> + </fileset> + </copy> + + <scp todir="${deploy.username}:${deploy.password}@${deploy.site.host}:${deploy.site.directory}" + port="${deploy.site.port}" + trust="true"> + <fileset dir="build/ant/site"> + <include name="**" /> + </fileset> + </scp> + </target> + + <target name="-source-distribution-"> + <mkdir dir="build/ant/source-dist" /> + <copy todir="build/ant/source-dist"> + <fileset dir="${basedir}"> + <exclude name="build/**" /> + <exclude name="local/**" /> + <exclude name="local.properties" /> + <include name="**" /> + </fileset> + </copy> + + <zip destfile="build/ant/${distribution.name}-${project.version}-src.zip"> + <fileset dir="build/ant/source-dist"> + <include name="**" /> + </fileset> + </zip> + </target> +</project> \ No newline at end of file Added: trunk/changelist.txt =================================================================== --- trunk/changelist.txt (rev 0) +++ trunk/changelist.txt 2006-11-21 10:51:02 UTC (rev 3) @@ -0,0 +1,8 @@ +v1.01.00b01 +----------- +Enhancements: +- initial release of decompiled original code moved to new packages + +Bug fixes: +NONE + Added: trunk/classes/antlr/ANTLRException.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ANTLRException.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ANTLRGrammarParseBehavior.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ANTLRGrammarParseBehavior.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ANTLRHashString.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ANTLRHashString.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ANTLRLexer.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ANTLRLexer.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ANTLRParser.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ANTLRParser.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ANTLRStringBuffer.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ANTLRStringBuffer.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ANTLRTokdefLexer.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ANTLRTokdefLexer.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ANTLRTokdefParser.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ANTLRTokdefParser.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ANTLRTokdefParserTokenTypes.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ANTLRTokdefParserTokenTypes.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ANTLRTokenTypes.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ANTLRTokenTypes.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ASTFactory.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ASTFactory.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ASTIterator.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ASTIterator.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ASTNULLType.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ASTNULLType.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ASTPair.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ASTPair.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ASTVisitor.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ASTVisitor.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/AbstractParser.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/AbstractParser.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ActionElement.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ActionElement.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ActionTransInfo.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ActionTransInfo.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/Alternative.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/Alternative.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/AlternativeBlock.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/AlternativeBlock.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/AlternativeElement.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/AlternativeElement.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/BaseAST.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/BaseAST.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/BlockContext.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/BlockContext.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/BlockEndElement.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/BlockEndElement.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/BlockWithImpliedExitPath.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/BlockWithImpliedExitPath.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharBufferBacktrackingInteractive.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharBufferBacktrackingInteractive.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharBufferBacktrackingNoInteractive.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharBufferBacktrackingNoInteractive.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharBufferNoBacktrackingInteractive.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharBufferNoBacktrackingInteractive.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharBufferNoBacktrackingNoInteractive.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharBufferNoBacktrackingNoInteractive.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharFormatter.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharFormatter.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharLiteralElement.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharLiteralElement.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharQueue.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharQueue.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharRangeElement.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharRangeElement.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharScanner.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharScanner.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharScannerBacktrackingInteractive.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharScannerBacktrackingInteractive.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharScannerBacktrackingInteractiveNoCaseSensitive.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharScannerBacktrackingInteractiveNoCaseSensitive.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharScannerBacktrackingNoInteractive.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharScannerBacktrackingNoInteractive.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharScannerBacktrackingNoInteractiveNoCaseSensitive.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharScannerBacktrackingNoInteractiveNoCaseSensitive.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharScannerNoBacktrackingInteractive.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharScannerNoBacktrackingInteractive.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharScannerNoBacktrackingInteractiveNoCaseSensitive.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharScannerNoBacktrackingInteractiveNoCaseSensitive.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharScannerNoBacktrackingNoInteractive.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharScannerNoBacktrackingNoInteractive.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CharScannerNoBacktrackingNoInteractiveNoCaseSensitive.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CharScannerNoBacktrackingNoInteractiveNoCaseSensitive.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CodeGenerator.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CodeGenerator.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CommonAST.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CommonAST.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/CommonToken.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/CommonToken.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/DefaultToolErrorHandler.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/DefaultToolErrorHandler.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/DefineGrammarSymbols.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/DefineGrammarSymbols.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/DiagnosticCodeGenerator.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/DiagnosticCodeGenerator.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/DumpASTVisitor.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/DumpASTVisitor.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ExceptionHandler.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ExceptionHandler.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ExceptionSpec.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ExceptionSpec.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/FileCopyException.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/FileCopyException.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/Grammar.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/Grammar.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/GrammarAnalyzer.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/GrammarAnalyzer.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/GrammarAtom.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/GrammarAtom.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/GrammarElement.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/GrammarElement.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/GrammarSymbol.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/GrammarSymbol.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/JavaBlockFinishingInfo.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/JavaBlockFinishingInfo.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/JavaCharFormatter.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/JavaCharFormatter.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/JavaCodeGenerator.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/JavaCodeGenerator.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/LLkAnalyzer.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/LLkAnalyzer.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/LLkGrammarAnalyzer.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/LLkGrammarAnalyzer.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/LLkParser.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/LLkParser.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/LLkParserNoInteractive.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/LLkParserNoInteractive.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/LexerGrammar.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/LexerGrammar.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/Lookahead.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/Lookahead.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/MakeGrammar.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/MakeGrammar.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/MismatchedTokenException.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/MismatchedTokenException.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/NoViableAltException.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/NoViableAltException.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/OneOrMoreBlock.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/OneOrMoreBlock.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/OptionalBlock.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/OptionalBlock.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/Parser.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/Parser.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ParserException.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ParserException.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/ParserGrammar.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/ParserGrammar.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/RuleBlock.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/RuleBlock.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/RuleEndElement.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/RuleEndElement.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/RuleRefElement.class =================================================================== (Binary files differ) Property changes on: trunk/classes/antlr/RuleRefElement.class ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/classes/antlr/RuleSymbol.class =====================================================... [truncated message content] |
From: <js...@us...> - 2006-12-27 06:19:31
|
Revision: 44 http://svn.sourceforge.net/jcontracts/?rev=44&view=rev Author: jstuyts Date: 2006-12-26 22:19:30 -0800 (Tue, 26 Dec 2006) Log Message: ----------- Added license for Log4j and attribution for ANTLR. Added Paths: ----------- trunk/legal/ trunk/legal/ATTRIBUTION-ANTLR.txt trunk/legal/LICENSE-Log4j.txt Added: trunk/legal/ATTRIBUTION-ANTLR.txt =================================================================== --- trunk/legal/ATTRIBUTION-ANTLR.txt (rev 0) +++ trunk/legal/ATTRIBUTION-ANTLR.txt 2006-12-27 06:19:30 UTC (rev 44) @@ -0,0 +1,2 @@ +This project contains lexicalizers and parsers generated by ANTLR and ANTLR +support classes. You can find ANTLR at: http://www.antlr.org/ Added: trunk/legal/LICENSE-Log4j.txt =================================================================== --- trunk/legal/LICENSE-Log4j.txt (rev 0) +++ trunk/legal/LICENSE-Log4j.txt 2006-12-27 06:19:30 UTC (rev 44) @@ -0,0 +1,202 @@ + + Apache License + Version 2.0, January 2004 + http://www.apache.org/licenses/ + + TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION + + 1. Definitions. + + "License" shall mean the terms and conditions for use, reproduction, + and distribution as defined by Sections 1 through 9 of this document. + + "Licensor" shall mean the copyright owner or entity authorized by + the copyright owner that is granting the License. + + "Legal Entity" shall mean the union of the acting entity and all + other entities that control, are controlled by, or are under common + control with that entity. For the purposes of this definition, + "control" means (i) the power, direct or indirect, to cause the + direction or management of such entity, whether by contract or + otherwise, or (ii) ownership of fifty percent (50%) or more of the + outstanding shares, or (iii) beneficial ownership of such entity. + + "You" (or "Your") shall mean an individual or Legal Entity + exercising permissions granted by this License. + + "Source" form shall mean the preferred form for making modifications, + including but not limited to software source code, documentation + source, and configuration files. + + "Object" form shall mean any form resulting from mechanical + transformation or translation of a Source form, including but + not limited to compiled object code, generated documentation, + and conversions to other media types. + + "Work" shall mean the work of authorship, whether in Source or + Object form, made available under the License, as indicated by a + copyright notice that is included in or attached to the work + (an example is provided in the Appendix below). + + "Derivative Works" shall mean any work, whether in Source or Object + form, that is based on (or derived from) the Work and for which the + editorial revisions, annotations, elaborations, or other modifications + represent, as a whole, an original work of authorship. For the purposes + of this License, Derivative Works shall not include works that remain + separable from, or merely link (or bind by name) to the interfaces of, + the Work and Derivative Works thereof. + + "Contribution" shall mean any work of authorship, including + the original version of the Work and any modifications or additions + to that Work or Derivative Works thereof, that is intentionally + submitted to Licensor for inclusion in the Work by the copyright owner + or by an individual or Legal Entity authorized to submit on behalf of + the copyright owner. For the purposes of this definition, "submitted" + means any form of electronic, verbal, or written communication sent + to the Licensor or its representatives, including but not limited to + communication on electronic mailing lists, source code control systems, + and issue tracking systems that are managed by, or on behalf of, the + Licensor for the purpose of discussing and improving the Work, but + excluding communication that is conspicuously marked or otherwise + designated in writing by the copyright owner as "Not a Contribution." + + "Contributor" shall mean Licensor and any individual or Legal Entity + on behalf of whom a Contribution has been received by Licensor and + subsequently incorporated within the Work. + + 2. Grant of Copyright License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + copyright license to reproduce, prepare Derivative Works of, + publicly display, publicly perform, sublicense, and distribute the + Work and such Derivative Works in Source or Object form. + + 3. Grant of Patent License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + (except as stated in this section) patent license to make, have made, + use, offer to sell, sell, import, and otherwise transfer the Work, + where such license applies only to those patent claims licensable + by such Contributor that are necessarily infringed by their + Contribution(s) alone or by combination of their Contribution(s) + with the Work to which such Contribution(s) was submitted. If You + institute patent litigation against any entity (including a + cross-claim or counterclaim in a lawsuit) alleging that the Work + or a Contribution incorporated within the Work constitutes direct + or contributory patent infringement, then any patent licenses + granted to You under this License for that Work shall terminate + as of the date such litigation is filed. + + 4. Redistribution. You may reproduce and distribute copies of the + Work or Derivative Works thereof in any medium, with or without + modifications, and in Source or Object form, provided that You + meet the following conditions: + + (a) You must give any other recipients of the Work or + Derivative Works a copy of this License; and + + (b) You must cause any modified files to carry prominent notices + stating that You changed the files; and + + (c) You must retain, in the Source form of any Derivative Works + that You distribute, all copyright, patent, trademark, and + attribution notices from the Source form of the Work, + excluding those notices that do not pertain to any part of + the Derivative Works; and + + (d) If the Work includes a "NOTICE" text file as part of its + distribution, then any Derivative Works that You distribute must + include a readable copy of the attribution notices contained + within such NOTICE file, excluding those notices that do not + pertain to any part of the Derivative Works, in at least one + of the following places: within a NOTICE text file distributed + as part of the Derivative Works; within the Source form or + documentation, if provided along with the Derivative Works; or, + within a display generated by the Derivative Works, if and + wherever such third-party notices normally appear. The contents + of the NOTICE file are for informational purposes only and + do not modify the License. You may add Your own attribution + notices within Derivative Works that You distribute, alongside + or as an addendum to the NOTICE text from the Work, provided + that such additional attribution notices cannot be construed + as modifying the License. + + You may add Your own copyright statement to Your modifications and + may provide additional or different license terms and conditions + for use, reproduction, or distribution of Your modifications, or + for any such Derivative Works as a whole, provided Your use, + reproduction, and distribution of the Work otherwise complies with + the conditions stated in this License. + + 5. Submission of Contributions. Unless You explicitly state otherwise, + any Contribution intentionally submitted for inclusion in the Work + by You to the Licensor shall be under the terms and conditions of + this License, without any additional terms or conditions. + Notwithstanding the above, nothing herein shall supersede or modify + the terms of any separate license agreement you may have executed + with Licensor regarding such Contributions. + + 6. Trademarks. This License does not grant permission to use the trade + names, trademarks, service marks, or product names of the Licensor, + except as required for reasonable and customary use in describing the + origin of the Work and reproducing the content of the NOTICE file. + + 7. Disclaimer of Warranty. Unless required by applicable law or + agreed to in writing, Licensor provides the Work (and each + Contributor provides its Contributions) on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or + implied, including, without limitation, any warranties or conditions + of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A + PARTICULAR PURPOSE. You are solely responsible for determining the + appropriateness of using or redistributing the Work and assume any + risks associated with Your exercise of permissions under this License. + + 8. Limitation of Liability. In no event and under no legal theory, + whether in tort (including negligence), contract, or otherwise, + unless required by applicable law (such as deliberate and grossly + negligent acts) or agreed to in writing, shall any Contributor be + liable to You for damages, including any direct, indirect, special, + incidental, or consequential damages of any character arising as a + result of this License or out of the use or inability to use the + Work (including but not limited to damages for loss of goodwill, + work stoppage, computer failure or malfunction, or any and all + other commercial damages or losses), even if such Contributor + has been advised of the possibility of such damages. + + 9. Accepting Warranty or Additional Liability. While redistributing + the Work or Derivative Works thereof, You may choose to offer, + and charge a fee for, acceptance of support, warranty, indemnity, + or other liability obligations and/or rights consistent with this + License. However, in accepting such obligations, You may act only + on Your own behalf and on Your sole responsibility, not on behalf + of any other Contributor, and only if You agree to indemnify, + defend, and hold each Contributor harmless for any liability + incurred by, or claims asserted against, such Contributor by reason + of your accepting any such warranty or additional liability. + + END OF TERMS AND CONDITIONS + + APPENDIX: How to apply the Apache License to your work. + + To apply the Apache License to your work, attach the following + boilerplate notice, with the fields enclosed by brackets "[]" + replaced with your own identifying information. (Don't include + the brackets!) The text should be enclosed in the appropriate + comment syntax for the file format. We also recommend that a + file or class name and description of purpose be included on the + same "printed page" as the copyright notice for easier + identification within third-party archives. + + Copyright 1999-2005 The Apache Software Foundation + + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: <js...@us...> - 2006-11-24 07:56:12
|
Revision: 19 http://svn.sourceforge.net/jcontracts/?rev=19&view=rev Author: jstuyts Date: 2006-11-23 23:56:11 -0800 (Thu, 23 Nov 2006) Log Message: ----------- Changed the way the version number is handled. The correct version will now be set during builds so no Java code has to be changed. Modified Paths: -------------- trunk/build.xml trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java Added Paths: ----------- trunk/source/java/net/sf/jcontracts/icontract/version.txt Modified: trunk/build.xml =================================================================== --- trunk/build.xml 2006-11-24 07:36:06 UTC (rev 18) +++ trunk/build.xml 2006-11-24 07:56:11 UTC (rev 19) @@ -40,6 +40,8 @@ <include name="**/*.properties" /> </fileset> </copy> + <echo file="build/ant/classes/net/sf/jcontracts/icontract/version.txt" >${project.version} +</echo> </target> <target name="jar" description="Create the JAR file." depends="compile"> Modified: trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java =================================================================== --- trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java 2006-11-24 07:36:06 UTC (rev 18) +++ trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java 2006-11-24 07:56:11 UTC (rev 19) @@ -1,13 +1,45 @@ package net.sf.jcontracts.icontract; import org.apache.log4j.Logger; + +import java.io.BufferedReader; +import java.io.IOException; +import java.io.InputStream; +import java.io.InputStreamReader; import java.io.PrintStream; +import java.io.Reader; import java.util.Vector; public class HelpOption extends ParameterOption { - public static final String VERSION = "for JDK 1.5, Java Contract Suite v1.01.00b02-dev"; - public static final String NAME = "h"; + public static final String VERSION; + private static final String VERSION_RESOURCE_NAME = "version.txt"; + public static final String NAME = "h"; + + static { + try { + InputStream versionStream = HelpOption.class.getResourceAsStream(VERSION_RESOURCE_NAME); + try { + Reader versionReader = new InputStreamReader(versionStream, "US-ASCII"); + try { + BufferedReader bufferedReader = new BufferedReader(versionReader); + try { + VERSION = bufferedReader.readLine(); + } finally { + bufferedReader.close(); + } + } finally { + versionReader.close(); + } + } finally { + versionStream.close(); + } + } catch (IOException e) { + IllegalStateException exception = new IllegalStateException("Unable to read version number"); + exception.initCause(e); + throw exception; + } + } public HelpOption(String name, Vector arguments) { super(name, arguments); Added: trunk/source/java/net/sf/jcontracts/icontract/version.txt =================================================================== --- trunk/source/java/net/sf/jcontracts/icontract/version.txt (rev 0) +++ trunk/source/java/net/sf/jcontracts/icontract/version.txt 2006-11-24 07:56:11 UTC (rev 19) @@ -0,0 +1,6 @@ +dev +This file must be stored using the US-ASCII (or +compatible) encoding. Only the first line is read. + +The file will be replaced during the build with a file +containing the actual version number. This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: <js...@us...> - 2006-12-04 17:08:25
|
Revision: 36 http://svn.sourceforge.net/jcontracts/?rev=36&view=rev Author: jstuyts Date: 2006-12-04 09:08:12 -0800 (Mon, 04 Dec 2006) Log Message: ----------- Moved ANTLR classes to another package so they do not collide with classes from other versions of ANTLR. Modified Paths: -------------- trunk/source/java/net/sf/jcontracts/argparser/ArgLexer.java trunk/source/java/net/sf/jcontracts/argparser/ArgParser.java trunk/source/java/net/sf/jcontracts/argparser/ExtendedToken.java trunk/source/java/net/sf/jcontracts/argparser/Parser.java trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclassCache.java trunk/source/java/net/sf/jcontracts/codeparser/ExtendedToken.java trunk/source/java/net/sf/jcontracts/codeparser/JavaLexer.java trunk/source/java/net/sf/jcontracts/codeparser/JavaParser.java trunk/source/java/net/sf/jcontracts/codeparser/Parser.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/ArchitectureSpecification.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/Idiom.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/IsolateIdiom.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/LayerIdiom.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/PSpecLexer.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/PSpecParser.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/PatternFactory.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/SingleDependencyConstraint.java trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/StrictlyLayerIdiom.java Added Paths: ----------- trunk/source/java/net/sf/jcontracts/antlr/ trunk/source/java/net/sf/jcontracts/antlr/ANTLRException.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRGrammarParseBehavior.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRHashString.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRLexer.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRParser.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRStringBuffer.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRTokdefLexer.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRTokdefParser.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRTokdefParserTokenTypes.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRTokenTypes.java trunk/source/java/net/sf/jcontracts/antlr/ASTFactory.java trunk/source/java/net/sf/jcontracts/antlr/ASTIterator.java trunk/source/java/net/sf/jcontracts/antlr/ASTNULLType.java trunk/source/java/net/sf/jcontracts/antlr/ASTPair.java trunk/source/java/net/sf/jcontracts/antlr/ASTVisitor.java trunk/source/java/net/sf/jcontracts/antlr/AbstractParser.java trunk/source/java/net/sf/jcontracts/antlr/ActionElement.java trunk/source/java/net/sf/jcontracts/antlr/ActionTransInfo.java trunk/source/java/net/sf/jcontracts/antlr/Alternative.java trunk/source/java/net/sf/jcontracts/antlr/AlternativeBlock.java trunk/source/java/net/sf/jcontracts/antlr/AlternativeElement.java trunk/source/java/net/sf/jcontracts/antlr/BaseAST.java trunk/source/java/net/sf/jcontracts/antlr/BlockContext.java trunk/source/java/net/sf/jcontracts/antlr/BlockEndElement.java trunk/source/java/net/sf/jcontracts/antlr/BlockWithImpliedExitPath.java trunk/source/java/net/sf/jcontracts/antlr/CharBufferBacktrackingInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharBufferBacktrackingNoInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharBufferNoBacktrackingInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharBufferNoBacktrackingNoInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharFormatter.java trunk/source/java/net/sf/jcontracts/antlr/CharLiteralElement.java trunk/source/java/net/sf/jcontracts/antlr/CharQueue.java trunk/source/java/net/sf/jcontracts/antlr/CharRangeElement.java trunk/source/java/net/sf/jcontracts/antlr/CharScanner.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerBacktrackingInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerBacktrackingInteractiveNoCaseSensitive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerBacktrackingNoInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerBacktrackingNoInteractiveNoCaseSensitive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerNoBacktrackingInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerNoBacktrackingInteractiveNoCaseSensitive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerNoBacktrackingNoInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerNoBacktrackingNoInteractiveNoCaseSensitive.java trunk/source/java/net/sf/jcontracts/antlr/CodeGenerator.java trunk/source/java/net/sf/jcontracts/antlr/CommonAST.java trunk/source/java/net/sf/jcontracts/antlr/CommonToken.java trunk/source/java/net/sf/jcontracts/antlr/DefaultToolErrorHandler.java trunk/source/java/net/sf/jcontracts/antlr/DefineGrammarSymbols.java trunk/source/java/net/sf/jcontracts/antlr/DiagnosticCodeGenerator.java trunk/source/java/net/sf/jcontracts/antlr/DumpASTVisitor.java trunk/source/java/net/sf/jcontracts/antlr/ExceptionHandler.java trunk/source/java/net/sf/jcontracts/antlr/ExceptionSpec.java trunk/source/java/net/sf/jcontracts/antlr/FileCopyException.java trunk/source/java/net/sf/jcontracts/antlr/Grammar.java trunk/source/java/net/sf/jcontracts/antlr/GrammarAnalyzer.java trunk/source/java/net/sf/jcontracts/antlr/GrammarAtom.java trunk/source/java/net/sf/jcontracts/antlr/GrammarElement.java trunk/source/java/net/sf/jcontracts/antlr/GrammarSymbol.java trunk/source/java/net/sf/jcontracts/antlr/JavaBlockFinishingInfo.java trunk/source/java/net/sf/jcontracts/antlr/JavaCharFormatter.java trunk/source/java/net/sf/jcontracts/antlr/JavaCodeGenerator.java trunk/source/java/net/sf/jcontracts/antlr/LLkAnalyzer.java trunk/source/java/net/sf/jcontracts/antlr/LLkGrammarAnalyzer.java trunk/source/java/net/sf/jcontracts/antlr/LLkParser.java trunk/source/java/net/sf/jcontracts/antlr/LLkParserNoInteractive.java trunk/source/java/net/sf/jcontracts/antlr/LexerGrammar.java trunk/source/java/net/sf/jcontracts/antlr/Lookahead.java trunk/source/java/net/sf/jcontracts/antlr/MakeGrammar.java trunk/source/java/net/sf/jcontracts/antlr/MismatchedTokenException.java trunk/source/java/net/sf/jcontracts/antlr/NoViableAltException.java trunk/source/java/net/sf/jcontracts/antlr/OneOrMoreBlock.java trunk/source/java/net/sf/jcontracts/antlr/OptionalBlock.java trunk/source/java/net/sf/jcontracts/antlr/Parser.java trunk/source/java/net/sf/jcontracts/antlr/ParserException.java trunk/source/java/net/sf/jcontracts/antlr/ParserGrammar.java trunk/source/java/net/sf/jcontracts/antlr/RuleBlock.java trunk/source/java/net/sf/jcontracts/antlr/RuleEndElement.java trunk/source/java/net/sf/jcontracts/antlr/RuleRefElement.java trunk/source/java/net/sf/jcontracts/antlr/RuleSymbol.java trunk/source/java/net/sf/jcontracts/antlr/ScannerException.java trunk/source/java/net/sf/jcontracts/antlr/SemanticException.java trunk/source/java/net/sf/jcontracts/antlr/SimpleTokenManager.java trunk/source/java/net/sf/jcontracts/antlr/StringLiteralElement.java trunk/source/java/net/sf/jcontracts/antlr/StringLiteralSymbol.java trunk/source/java/net/sf/jcontracts/antlr/SynPredBlock.java trunk/source/java/net/sf/jcontracts/antlr/TokdefTokenManager.java trunk/source/java/net/sf/jcontracts/antlr/Token.java trunk/source/java/net/sf/jcontracts/antlr/TokenBuffer.java trunk/source/java/net/sf/jcontracts/antlr/TokenManager.java trunk/source/java/net/sf/jcontracts/antlr/TokenQueue.java trunk/source/java/net/sf/jcontracts/antlr/TokenRangeElement.java trunk/source/java/net/sf/jcontracts/antlr/TokenRefElement.java trunk/source/java/net/sf/jcontracts/antlr/TokenSymbol.java trunk/source/java/net/sf/jcontracts/antlr/Tokenizer.java trunk/source/java/net/sf/jcontracts/antlr/Tool.java trunk/source/java/net/sf/jcontracts/antlr/ToolErrorHandler.java trunk/source/java/net/sf/jcontracts/antlr/TreeBlockContext.java trunk/source/java/net/sf/jcontracts/antlr/TreeElement.java trunk/source/java/net/sf/jcontracts/antlr/TreeParser.java trunk/source/java/net/sf/jcontracts/antlr/TreeSpecifierNode.java trunk/source/java/net/sf/jcontracts/antlr/TreeWalkerGrammar.java trunk/source/java/net/sf/jcontracts/antlr/WildcardElement.java trunk/source/java/net/sf/jcontracts/antlr/ZeroOrMoreBlock.java trunk/source/java/net/sf/jcontracts/antlr/actions/ trunk/source/java/net/sf/jcontracts/antlr/actions/ActionLexer.java trunk/source/java/net/sf/jcontracts/antlr/actions/ActionLexerTokenTypes.java trunk/source/java/net/sf/jcontracts/antlr/collections/ trunk/source/java/net/sf/jcontracts/antlr/collections/AST.java trunk/source/java/net/sf/jcontracts/antlr/collections/ASTEnumeration.java trunk/source/java/net/sf/jcontracts/antlr/collections/BitSetTest.java trunk/source/java/net/sf/jcontracts/antlr/collections/Enumerator.java trunk/source/java/net/sf/jcontracts/antlr/collections/LLStackTest.java trunk/source/java/net/sf/jcontracts/antlr/collections/LListTest.java trunk/source/java/net/sf/jcontracts/antlr/collections/List.java trunk/source/java/net/sf/jcontracts/antlr/collections/Stack.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/ trunk/source/java/net/sf/jcontracts/antlr/collections/impl/ASTArray.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/ASTEnumerator.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/BitSet.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/IndexedVector.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/LLCell.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/LLEnumeration.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/LList.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/Vector.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/VectorEnumeration.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/VectorEnumerator.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/ trunk/source/java/net/sf/jcontracts/antlr/preprocessor/Grammar.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/GrammarFile.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/Hierarchy.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/Option.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/Preprocessor.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/PreprocessorLexer.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/PreprocessorTokenTypes.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/Rule.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/Tool.java Removed Paths: ------------- trunk/classes/ Added: trunk/source/java/net/sf/jcontracts/antlr/ANTLRException.java =================================================================== --- trunk/source/java/net/sf/jcontracts/antlr/ANTLRException.java (rev 0) +++ trunk/source/java/net/sf/jcontracts/antlr/ANTLRException.java 2006-12-04 17:08:12 UTC (rev 36) @@ -0,0 +1,10 @@ +package net.sf.jcontracts.antlr; + +public class ANTLRException extends Exception +{ + + public ANTLRException(String s) + { + super(s); + } +} Added: trunk/source/java/net/sf/jcontracts/antlr/ANTLRGrammarParseBehavior.java =================================================================== --- trunk/source/java/net/sf/jcontracts/antlr/ANTLRGrammarParseBehavior.java (rev 0) +++ trunk/source/java/net/sf/jcontracts/antlr/ANTLRGrammarParseBehavior.java 2006-12-04 17:08:12 UTC (rev 36) @@ -0,0 +1,104 @@ +package net.sf.jcontracts.antlr; + +import net.sf.jcontracts.antlr.collections.impl.BitSet; + +public interface ANTLRGrammarParseBehavior +{ + + public abstract void abortGrammar(); + + public abstract void beginAlt(boolean flag); + + public abstract void beginChildList(); + + public abstract void beginExceptionGroup(); + + public abstract void beginExceptionSpec(Token token); + + public abstract void beginSubRule(Token token, int i, boolean flag); + + public abstract void beginTree(int i) throws SemanticException; + + public abstract void defineRuleName(Token token, String s, boolean flag) throws SemanticException; + + public abstract void endAlt(); + + public abstract void endChildList(); + + public abstract void endExceptionGroup(); + + public abstract void endExceptionSpec(); + + public abstract void endGrammar(); + + public abstract void endOptions(); + + public abstract void endRule(String s); + + public abstract void endSubRule(); + + public abstract void endTree(); + + public abstract void hasError(); + + public abstract void noASTSubRule(); + + public abstract void oneOrMoreSubRule(); + + public abstract void optionalSubRule(); + + public abstract void refAction(Token token); + + public abstract void refArgAction(Token token); + + public abstract void refCharLiteral(Token token, Token token1, boolean flag, int i, boolean flag1); + + public abstract void refCharRange(Token token, Token token1, Token token2, int i, boolean flag); + + public abstract void refExceptionHandler(Token token, String s); + + public abstract void refHeaderAction(Token token); + + public abstract void refInitAction(Token token); + + public abstract void refMemberAction(Token token); + + public abstract void refPreambleAction(Token token); + + public abstract void refReturnAction(Token token); + + public abstract void refRule(Token token, Token token1, Token token2, Token token3, int i); + + public abstract void refSemPred(Token token); + + public abstract void refStringLiteral(Token token, Token token1, int i, boolean flag); + + public abstract void refToken(Token token, Token token1, Token token2, Token token3, boolean flag, int i, + boolean flag1); + + public abstract void refTokenRange(Token token, Token token1, Token token2, int i, boolean flag); + + public abstract void refTreeSpecifier(Token token); + + public abstract void refWildcard(Token token, Token token1, int i); + + public abstract void setArgOfRuleRef(Token token); + + public abstract void setCharVocabulary(BitSet bitset); + + public abstract void setFileOption(Token token, Token token1); + + public abstract void setGrammarOption(Token token, Token token1); + + public abstract void setRuleOption(Token token, Token token1); + + public abstract void startLexer(Token token, String s); + + public abstract void startParser(Token token, String s); + + public abstract void startTreeWalker(Token token, String s); + + public abstract void synPred(); + + public abstract void zeroOrMoreSubRule(); +} Added: trunk/source/java/net/sf/jcontracts/antlr/ANTLRHashString.java =================================================================== --- trunk/source/java/net/sf/jcontracts/antlr/ANTLRHashString.java (rev 0) +++ trunk/source/java/net/sf/jcontracts/antlr/ANTLRHashString.java 2006-12-04 17:08:12 UTC (rev 36) @@ -0,0 +1,123 @@ +package net.sf.jcontracts.antlr; + +public class ANTLRHashString +{ + + public ANTLRHashString(char buf[], int length, CharScanner lexer) + { + this.lexer = lexer; + setBuffer(buf, length); + } + + public ANTLRHashString(CharScanner lexer) + { + this.lexer = lexer; + } + + public ANTLRHashString(String s, CharScanner lexer) + { + this.lexer = lexer; + setString(s); + } + + private final char charAt(int index) + { + return s == null ? buf[index] : s.charAt(index); + } + + public boolean equals(Object o) + { + if (!(o instanceof ANTLRHashString) && !(o instanceof String)) + { + return false; + } + ANTLRHashString s; + if (o instanceof String) + { + s = new ANTLRHashString((String) o, lexer); + } + else + { + s = (ANTLRHashString) o; + } + int l = length(); + if (s.length() != l) + { + return false; + } + if (lexer.getCaseSensitiveLiterals()) + { + for (int i = 0; i < l; i++) + { + if (charAt(i) != s.charAt(i)) + { + return false; + } + } + + } + else + { + for (int i = 0; i < l; i++) + { + if (lexer.toLower(charAt(i)) != lexer.toLower(s.charAt(i))) + { + return false; + } + } + + } + return true; + } + + public int hashCode() + { + int hashval = 0; + int l = length(); + if (lexer.getCaseSensitiveLiterals()) + { + for (int i = 0; i < l; i++) + { + hashval = hashval * 151 + charAt(i); + } + + } + else + { + for (int i = 0; i < l; i++) + { + hashval = hashval * 151 + lexer.toLower(charAt(i)); + } + + } + return hashval; + } + + private final int length() + { + return s == null ? len : s.length(); + } + + public void setBuffer(char buf[], int length) + { + this.buf = buf; + len = length; + s = null; + } + + public void setString(String s) + { + this.s = s; + buf = null; + } + + private String s; + + private char buf[]; + + private int len; + + private CharScanner lexer; + + private static final int prime = 151; +} Added: trunk/source/java/net/sf/jcontracts/antlr/ANTLRLexer.java =================================================================== --- trunk/source/java/net/sf/jcontracts/antlr/ANTLRLexer.java (rev 0) +++ trunk/source/java/net/sf/jcontracts/antlr/ANTLRLexer.java 2006-12-04 17:08:12 UTC (rev 36) @@ -0,0 +1,2019 @@ +package net.sf.jcontracts.antlr; + +import java.io.InputStream; +import java.util.Hashtable; + +import net.sf.jcontracts.antlr.collections.impl.BitSet; + +public class ANTLRLexer extends CharScannerNoBacktrackingNoInteractive implements ANTLRTokenTypes, Tokenizer +{ + + public ANTLRLexer(CharBufferNoBacktrackingNoInteractive cb) + { + super(cb); + super.literals = new Hashtable(); + super.literals.put(new ANTLRHashString("Parser", this), new Integer(30)); + super.literals.put(new ANTLRHashString("catch", this), new Integer(38)); + super.literals.put(new ANTLRHashString("Lexer", this), new Integer(9)); + super.literals.put(new ANTLRHashString("exception", this), new Integer(37)); + super.literals.put(new ANTLRHashString("class", this), new Integer(7)); + super.literals.put(new ANTLRHashString("lexclass", this), new Integer(6)); + super.literals.put(new ANTLRHashString("public", this), new Integer(32)); + super.literals.put(new ANTLRHashString("header", this), new Integer(4)); + super.literals.put(new ANTLRHashString("tokens", this), new Integer(26)); + super.literals.put(new ANTLRHashString("charVocabulary", this), new Integer(17)); + super.literals.put(new ANTLRHashString("options", this), new Integer(11)); + super.literals.put(new ANTLRHashString("returns", this), new Integer(36)); + super.literals.put(new ANTLRHashString("TreeParser", this), new Integer(10)); + super.literals.put(new ANTLRHashString("private", this), new Integer(33)); + super.literals.put(new ANTLRHashString("protected", this), new Integer(31)); + super.literals.put(new ANTLRHashString("extends", this), new Integer(8)); + super.caseSensitiveLiterals = true; + } + + public ANTLRLexer(InputStream in) + { + this(new CharBufferNoBacktrackingNoInteractive(in)); + } + + public static int escapeCharValue(String cs) + { + if (cs.length() <= 3) + { + return 0; + } + if (cs.charAt(1) != '\\') + { + return 0; + } + switch (cs.charAt(2)) + { + case 98: // 'b' + return 8; + + case 114: // 'r' + return 13; + + case 116: // 't' + return 9; + + case 110: // 'n' + return 10; + + case 102: // 'f' + return 12; + + case 34: // '"' + return 34; + + case 39: // '\'' + return 39; + + case 92: // '\\' + return 92; + + case 117: // 'u' + if (cs.length() != 8) + { + return 0; + } + else + { + return Character.digit(cs.charAt(3), 16) * 16 * 16 * 16 + Character.digit(cs.charAt(4), 16) * 16 + * 16 + Character.digit(cs.charAt(5), 16) * 16 + Character.digit(cs.charAt(6), 16); + } + + case 48: // '0' + case 49: // '1' + case 50: // '2' + case 51: // '3' + if (cs.length() > 5 && Character.isDigit(cs.charAt(4))) + { + return (cs.charAt(2) - 48) * 8 * 8 + (cs.charAt(3) - 48) * 8 + (cs.charAt(4) - 48); + } + if (cs.length() > 4 && Character.isDigit(cs.charAt(3))) + { + return (cs.charAt(2) - 48) * 8 + (cs.charAt(3) - 48); + } + else + { + return cs.charAt(2) - 48; + } + + case 52: // '4' + case 53: // '5' + case 54: // '6' + case 55: // '7' + if (cs.length() > 4 && Character.isDigit(cs.charAt(3))) + { + return (cs.charAt(2) - 48) * 8 + (cs.charAt(3) - 48); + } + else + { + return cs.charAt(2) - 48; + } + } + return 0; + } + + public final void mACTION(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 5; + int actionLine = getLine(); + mNESTED_ACTION(false); + if (super.la_1 == '?') + { + match('?'); + _ttype = 40; + } + if (_ttype == 5) + { + setText(Tool.stripFrontBack(getText(), "{", "}")); + } + else + { + setText(Tool.stripFrontBack(getText(), "{", "}?")); + } + setLine(actionLine); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mARG_ACTION(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 35; + mNESTED_ARG_ACTION(false); + setText(Tool.stripFrontBack(getText(), "[", "]")); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mASSIGN(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 14; + match('='); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mBANG(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 34; + match('!'); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mCARET(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 46; + match('^'); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mCHAR_LITERAL(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 19; + match('\''); + switch (super.la_1) + { + case 92: // '\\' + mESC(false); + break; + + case 3: // '\003' + case 4: // '\004' + case 5: // '\005' + case 6: // '\006' + case 7: // '\007' + case 8: // '\b' + case 9: // '\t' + case 10: // '\n' + case 11: // '\013' + case 12: // '\f' + case 13: // '\r' + case 14: // '\016' + case 15: // '\017' + case 16: // '\020' + case 17: // '\021' + case 18: // '\022' + case 19: // '\023' + case 20: // '\024' + case 21: // '\025' + case 22: // '\026' + case 23: // '\027' + case 24: // '\030' + case 25: // '\031' + case 26: // '\032' + case 27: // '\033' + case 28: // '\034' + case 29: // '\035' + case 30: // '\036' + case 31: // '\037' + case 32: // ' ' + case 33: // '!' + case 34: // '"' + case 35: // '#' + case 36: // '$' + case 37: // '%' + case 38: // '&' + case 40: // '(' + case 41: // ')' + case 42: // '*' + case 43: // '+' + case 44: // ',' + case 45: // '-' + case 46: // '.' + case 47: // '/' + case 48: // '0' + case 49: // '1' + case 50: // '2' + case 51: // '3' + case 52: // '4' + case 53: // '5' + case 54: // '6' + case 55: // '7' + case 56: // '8' + case 57: // '9' + case 58: // ':' + case 59: // ';' + case 60: // '<' + case 61: // '=' + case 62: // '>' + case 63: // '?' + case 64: // '@' + case 65: // 'A' + case 66: // 'B' + case 67: // 'C' + case 68: // 'D' + case 69: // 'E' + case 70: // 'F' + case 71: // 'G' + case 72: // 'H' + case 73: // 'I' + case 74: // 'J' + case 75: // 'K' + case 76: // 'L' + case 77: // 'M' + case 78: // 'N' + case 79: // 'O' + case 80: // 'P' + case 81: // 'Q' + case 82: // 'R' + case 83: // 'S' + case 84: // 'T' + case 85: // 'U' + case 86: // 'V' + case 87: // 'W' + case 88: // 'X' + case 89: // 'Y' + case 90: // 'Z' + case 91: // '[' + case 93: // ']' + case 94: // '^' + case 95: // '_' + case 96: // '`' + case 97: // 'a' + case 98: // 'b' + case 99: // 'c' + case 100: // 'd' + case 101: // 'e' + case 102: // 'f' + case 103: // 'g' + case 104: // 'h' + case 105: // 'i' + case 106: // 'j' + case 107: // 'k' + case 108: // 'l' + case 109: // 'm' + case 110: // 'n' + case 111: // 'o' + case 112: // 'p' + case 113: // 'q' + case 114: // 'r' + case 115: // 's' + case 116: // 't' + case 117: // 'u' + case 118: // 'v' + case 119: // 'w' + case 120: // 'x' + case 121: // 'y' + case 122: // 'z' + case 123: // '{' + case 124: // '|' + case 125: // '}' + case 126: // '~' + matchNot('\''); + break; + + default: + throw new ScannerException("no viable alt for char: " + LA(1), getLine()); + } + match('\''); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mCOLON(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 12; + match(':'); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mCOMMENT(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 49; + if (super.la_1 == '/' && super.la_2 == '/') + { + mSL_COMMENT(false); + } + else if (super.la_1 == '/' && super.la_2 == '*') + { + mML_COMMENT(false); + } + else + { + throw new ScannerException("no viable alt for char: " + LA(1), getLine()); + } + _ttype = -1; + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + protected final void mDIGIT(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 53; + matchRange('0', '9'); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + protected final void mESC(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 52; + match('\\'); + switch (super.la_1) + { + case 110: // 'n' + match('n'); + break; + + case 114: // 'r' + match('r'); + break; + + case 116: // 't' + match('t'); + break; + + case 98: // 'b' + match('b'); + break; + + case 102: // 'f' + match('f'); + break; + + case 34: // '"' + match('"'); + break; + + case 39: // '\'' + match('\''); + break; + + case 92: // '\\' + match('\\'); + break; + + case 48: // '0' + case 49: // '1' + case 50: // '2' + case 51: // '3' + matchRange('0', '3'); + if (super.la_1 >= '0' && super.la_1 <= '9' && super.la_2 >= '\003' && super.la_2 <= '~') + { + mDIGIT(false); + if (super.la_1 >= '0' && super.la_1 <= '9' && super.la_2 >= '\003' && super.la_2 <= '~') + { + mDIGIT(false); + } + } + break; + + case 52: // '4' + case 53: // '5' + case 54: // '6' + case 55: // '7' + matchRange('4', '7'); + if (super.la_1 >= '0' && super.la_1 <= '9' && super.la_2 >= '\003' && super.la_2 <= '~') + { + mDIGIT(false); + } + break; + + case 117: // 'u' + match('u'); + mXDIGIT(false); + mXDIGIT(false); + mXDIGIT(false); + mXDIGIT(false); + break; + + default: + throw new ScannerException("no viable alt for char: " + LA(1), getLine()); + } + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mIMPLIES(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 45; + match("=>"); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mINT(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 20; + int _cnt = 0; + do + { + if (super.la_1 >= '0' && super.la_1 <= '9') + { + matchRange('0', '9'); + } + else + { + if (_cnt < 1) + { + throw new ScannerException("no viable alt for char: " + LA(1), getLine()); + } + break; + } + _cnt++; + } + while (true); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + protected final int mINTERNAL_RULE_REF(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 58; + int t = 28; + matchRange('a', 'z'); + do + { + switch (super.la_1) + { + case 95: // '_' + match('_'); + continue; + + case 48: // '0' + case 49: // '1' + case 50: // '2' + case 51: // '3' + case 52: // '4' + case 53: // '5' + case 54: // '6' + case 55: // '7' + case 56: // '8' + case 57: // '9' + matchRange('0', '9'); + continue; + } + if (super.la_1 >= 'a' && super.la_1 <= 'z') + { + matchRange('a', 'z'); + continue; + } + if (super.la_1 < 'A' || super.la_1 > 'Z') + { + break; + } + matchRange('A', 'Z'); + } + while (true); + t = testLiteralsTable(t); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + return t; + } + + public final void mLPAREN(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 27; + match('('); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + protected final void mML_COMMENT(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 51; + match("/*"); + do + { + switch (super.la_1) + { + case 10: // '\n' + match('\n'); + newline(); + continue; + + case 3: // '\003' + case 4: // '\004' + case 5: // '\005' + case 6: // '\006' + case 7: // '\007' + case 8: // '\b' + case 9: // '\t' + case 11: // '\013' + case 12: // '\f' + case 13: // '\r' + case 14: // '\016' + case 15: // '\017' + case 16: // '\020' + case 17: // '\021' + case 18: // '\022' + case 19: // '\023' + case 20: // '\024' + case 21: // '\025' + case 22: // '\026' + case 23: // '\027' + case 24: // '\030' + case 25: // '\031' + case 26: // '\032' + case 27: // '\033' + case 28: // '\034' + case 29: // '\035' + case 30: // '\036' + case 31: // '\037' + case 32: // ' ' + case 33: // '!' + case 34: // '"' + case 35: // '#' + case 36: // '$' + case 37: // '%' + case 38: // '&' + case 39: // '\'' + case 40: // '(' + case 41: // ')' + case 43: // '+' + case 44: // ',' + case 45: // '-' + case 46: // '.' + case 47: // '/' + case 48: // '0' + case 49: // '1' + case 50: // '2' + case 51: // '3' + case 52: // '4' + case 53: // '5' + case 54: // '6' + case 55: // '7' + case 56: // '8' + case 57: // '9' + case 58: // ':' + case 59: // ';' + case 60: // '<' + case 61: // '=' + case 62: // '>' + case 63: // '?' + case 64: // '@' + case 65: // 'A' + case 66: // 'B' + case 67: // 'C' + case 68: // 'D' + case 69: // 'E' + case 70: // 'F' + case 71: // 'G' + case 72: // 'H' + case 73: // 'I' + case 74: // 'J' + case 75: // 'K' + case 76: // 'L' + case 77: // 'M' + case 78: // 'N' + case 79: // 'O' + case 80: // 'P' + case 81: // 'Q' + case 82: // 'R' + case 83: // 'S' + case 84: // 'T' + case 85: // 'U' + case 86: // 'V' + case 87: // 'W' + case 88: // 'X' + case 89: // 'Y' + case 90: // 'Z' + case 91: // '[' + case 92: // '\\' + case 93: // ']' + case 94: // '^' + case 95: // '_' + case 96: // '`' + case 97: // 'a' + case 98: // 'b' + case 99: // 'c' + case 100: // 'd' + case 101: // 'e' + case 102: // 'f' + case 103: // 'g' + case 104: // 'h' + case 105: // 'i' + case 106: // 'j' + case 107: // 'k' + case 108: // 'l' + case 109: // 'm' + case 110: // 'n' + case 111: // 'o' + case 112: // 'p' + case 113: // 'q' + case 114: // 'r' + case 115: // 's' + case 116: // 't' + case 117: // 'u' + case 118: // 'v' + case 119: // 'w' + case 120: // 'x' + case 121: // 'y' + case 122: // 'z' + case 123: // '{' + case 124: // '|' + case 125: // '}' + case 126: // '~' + match(_tokenSet_1); + continue; + } + if (super.la_1 != '*' || super.la_2 < '\003' || super.la_2 > '~' || LA(2) == '/') + { + break; + } + match('*'); + } + while (true); + match("*/"); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + protected final void mNESTED_ACTION(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 57; + match('{'); + do + { + switch (super.la_1) + { + case 10: // '\n' + match('\n'); + newline(); + continue; + + case 123: // '{' + mNESTED_ACTION(false); + continue; + + case 39: // '\'' + mCHAR_LITERAL(false); + continue; + + case 34: // '"' + mSTRING_LITERAL(false); + continue; + } + if (super.la_1 == '/' && (super.la_2 == '*' || super.la_2 == '/') && (LA(2) == '/' || LA(2) == '*')) + { + mCOMMENT(false); + continue; + } + if (super.la_1 == '/' && super.la_2 >= '\003' && super.la_2 <= '~') + { + match('/'); + continue; + } + if (!_tokenSet_2.member(super.la_1)) + { + break; + } + matchNot('}'); + } + while (true); + match('}'); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + protected final void mNESTED_ARG_ACTION(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 56; + match('['); + label0: do + { + switch (super.la_1) + { + case 91: // '[' + mNESTED_ARG_ACTION(false); + break; + + case 10: // '\n' + match('\n'); + newline(); + break; + + case 39: // '\'' + mCHAR_LITERAL(false); + break; + + case 34: // '"' + mSTRING_LITERAL(false); + break; + + case 3: // '\003' + case 4: // '\004' + case 5: // '\005' + case 6: // '\006' + case 7: // '\007' + case 8: // '\b' + case 9: // '\t' + case 11: // '\013' + case 12: // '\f' + case 13: // '\r' + case 14: // '\016' + case 15: // '\017' + case 16: // '\020' + case 17: // '\021' + case 18: // '\022' + case 19: // '\023' + case 20: // '\024' + case 21: // '\025' + case 22: // '\026' + case 23: // '\027' + case 24: // '\030' + case 25: // '\031' + case 26: // '\032' + case 27: // '\033' + case 28: // '\034' + case 29: // '\035' + case 30: // '\036' + case 31: // '\037' + case 32: // ' ' + case 33: // '!' + case 35: // '#' + case 36: // '$' + case 37: // '%' + case 38: // '&' + case 40: // '(' + case 41: // ')' + case 42: // '*' + case 43: // '+' + case 44: // ',' + case 45: // '-' + case 46: // '.' + case 47: // '/' + case 48: // '0' + case 49: // '1' + case 50: // '2' + case 51: // '3' + case 52: // '4' + case 53: // '5' + case 54: // '6' + case 55: // '7' + case 56: // '8' + case 57: // '9' + case 58: // ':' + case 59: // ';' + case 60: // '<' + case 61: // '=' + case 62: // '>' + case 63: // '?' + case 64: // '@' + case 65: // 'A' + case 66: // 'B' + case 67: // 'C' + case 68: // 'D' + case 69: // 'E' + case 70: // 'F' + case 71: // 'G' + case 72: // 'H' + case 73: // 'I' + case 74: // 'J' + case 75: // 'K' + case 76: // 'L' + case 77: // 'M' + case 78: // 'N' + case 79: // 'O' + case 80: // 'P' + case 81: // 'Q' + case 82: // 'R' + case 83: // 'S' + case 84: // 'T' + case 85: // 'U' + case 86: // 'V' + case 87: // 'W' + case 88: // 'X' + case 89: // 'Y' + case 90: // 'Z' + case 92: // '\\' + case 94: // '^' + case 95: // '_' + case 96: // '`' + case 97: // 'a' + case 98: // 'b' + case 99: // 'c' + case 100: // 'd' + case 101: // 'e' + case 102: // 'f' + case 103: // 'g' + case 104: // 'h' + case 105: // 'i' + case 106: // 'j' + case 107: // 'k' + case 108: // 'l' + case 109: // 'm' + case 110: // 'n' + case 111: // 'o' + case 112: // 'p' + case 113: // 'q' + case 114: // 'r' + case 115: // 's' + case 116: // 't' + case 117: // 'u' + case 118: // 'v' + case 119: // 'w' + case 120: // 'x' + case 121: // 'y' + case 122: // 'z' + case 123: // '{' + case 124: // '|' + case 125: // '}' + case 126: // '~' + matchNot(']'); + break; + + default: + match(']'); + break label0; + } + } + while (true); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mNOT_OP(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 39; + match('~'); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mOR(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 21; + match('|'); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mPLUS(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 44; + match('+'); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + protected final void mPOINTER(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 60; + match("->"); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mQUESTION(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 42; + match('?'); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mRANGE(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 22; + match(".."); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mRCURLY(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 16; + match('}'); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mRPAREN(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 29; + match(')'); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mRULE_REF(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 28; + int t = 0; + t = mINTERNAL_RULE_REF(false); + _ttype = t; + if (t == 11) + { + for (; _tokenSet_3.member(super.la_1); mWS(false)) + { + } + if (super.la_1 == '{') + { + match('{'); + _ttype = 13; + } + } + else if (t == 26) + { + for (; _tokenSet_3.member(super.la_1); mWS(false)) + { + } + if (super.la_1 == '{') + { + match('{'); + _ttype = 23; + } + } + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mSEMI(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 15; + match(';'); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + protected final void mSL_COMMENT(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 50; + match("//"); + for (; _tokenSet_0.member(super.la_1); matchNot('\n')) + { + } + match('\n'); + newline(); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mSTAR(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 43; + match('*'); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + } + super._returnToken = _token; + } + + public final void mSTRING_LITERAL(boolean _createToken) throws ScannerException + { + Token _token = null; + int _begin = super.text.length(); + int _ttype = 18; + match('"'); + label0: do + { + switch (super.la_1) + { + case 92: // '\\' + mESC(false); + break; + + case 3: // '\003' + case 4: // '\004' + case 5: // '\005' + case 6: // '\006' + case 7: // '\007' + case 8: // '\b' + case 9: // '\t' + case 10: // '\n' + case 11: // '\013' + case 12: // '\f' + case 13: // '\r' + case 14: // '\016' + case 15: // '\017' + case 16: // '\020' + case 17: // '\021' + case 18: // '\022' + case 19: // '\023' + case 20: // '\024' + case 21: // '\025' + case 22: // '\026' + case 23: // '\027' + case 24: // '\030' + case 25: // '\031' + case 26: // '\032' + case 27: // '\033' + case 28: // '\034' + case 29: // '\035' + case 30: // '\036' + case 31: // '\037' + case 32: // ' ' + case 33: // '!' + case 35: // '#' + case 36: // '$' + case 37: // '%' + case 38: // '&' + case 39: // '\'' + case 40: // '(' + case 41: // ')' + case 42: // '*' + case 43: // '+' + case 44: // ',' + case 45: // '-' + case 46: // '.' + case 47: // '/' + case 48: // '0' + case 49: // '1' + case 50: // '2' + case 51: // '3' + case 52: // '4' + case 53: // '5' + case 54: // '6' + case 55: // '7' + case 56: // '8' + case 57: // '9' + case 58: // ':' + case 59: // ';' + case 60: // '<' + case 61: // '=' + case 62: // '>' + case 63: // '?' + case 64: // '@' + case 65: // 'A' + case 66: // 'B' + case 67: // 'C' + case 68: // 'D' + case 69: // 'E' + case 70: // 'F' + case 71: // 'G' + case 72: // 'H' + case 73: // 'I' + case 74: // 'J' + case 75: // 'K' + case 76: // 'L' + case 77: // 'M' + case 78: // 'N' + case 79: // 'O' + case 80: // 'P' + case 81: // 'Q' + case 82: // 'R' + case 83: // 'S' + case 84: // 'T' + case 85: // 'U' + case 86: // 'V' + case 87: // 'W' + case 88: // 'X' + case 89: // 'Y' + case 90: // 'Z' + case 91: // '[' + case 93: // ']' + case 94: // '^' + case 95: // '_' + case 96: // '`' + case 97: // 'a' + case 98: // 'b' + case 99: // 'c' + case 100: // 'd' + case 101: // 'e' + case 102: // 'f' + case 103: // 'g' + case 104: // 'h' + case 105: // 'i' + case 106: // 'j' + case 107: // 'k' + case 108: // 'l' + case 109: // 'm' + case 110: // 'n' + case 111: // 'o' + case 112: // 'p' + case 113: // 'q' + case 114: // 'r' + case 115: // 's' + case 116: // 't' + case 117: // 'u' + case 118: // 'v' + case 119: // 'w' + case 120: // 'x' + case 121: // 'y' + case 122: // 'z' + case 123: // '{' + case 124: // '|' + case 125: // '}' + case 126: // '~' + matchNot('"'); + break; + + default: + match('"'); + break label0; + } + } + while (true); + if (_createToken && _token == null) + { + _token = makeToken(_ttype); + ... [truncated message content] |
From: <js...@us...> - 2008-05-17 10:45:27
|
Revision: 55 http://jcontracts.svn.sourceforge.net/jcontracts/?rev=55&view=rev Author: jstuyts Date: 2008-05-17 03:45:25 -0700 (Sat, 17 May 2008) Log Message: ----------- Major cleanup. Let's hope I did not break anything. Modified Paths: -------------- trunk/site/contractInheritance.html trunk/source/java/net/sf/jcontracts/antlr/ANTLRException.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRGrammarParseBehavior.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRHashString.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRLexer.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRParser.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRStringBuffer.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRTokdefLexer.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRTokdefParser.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRTokdefParserTokenTypes.java trunk/source/java/net/sf/jcontracts/antlr/ANTLRTokenTypes.java trunk/source/java/net/sf/jcontracts/antlr/ASTFactory.java trunk/source/java/net/sf/jcontracts/antlr/ASTIterator.java trunk/source/java/net/sf/jcontracts/antlr/ASTPair.java trunk/source/java/net/sf/jcontracts/antlr/ASTVisitor.java trunk/source/java/net/sf/jcontracts/antlr/AbstractParser.java trunk/source/java/net/sf/jcontracts/antlr/ActionElement.java trunk/source/java/net/sf/jcontracts/antlr/ActionTransInfo.java trunk/source/java/net/sf/jcontracts/antlr/Alternative.java trunk/source/java/net/sf/jcontracts/antlr/AlternativeBlock.java trunk/source/java/net/sf/jcontracts/antlr/AlternativeElement.java trunk/source/java/net/sf/jcontracts/antlr/BaseAST.java trunk/source/java/net/sf/jcontracts/antlr/BlockContext.java trunk/source/java/net/sf/jcontracts/antlr/BlockEndElement.java trunk/source/java/net/sf/jcontracts/antlr/BlockWithImpliedExitPath.java trunk/source/java/net/sf/jcontracts/antlr/CharBufferBacktrackingInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharBufferBacktrackingNoInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharBufferNoBacktrackingInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharBufferNoBacktrackingNoInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharFormatter.java trunk/source/java/net/sf/jcontracts/antlr/CharLiteralElement.java trunk/source/java/net/sf/jcontracts/antlr/CharQueue.java trunk/source/java/net/sf/jcontracts/antlr/CharRangeElement.java trunk/source/java/net/sf/jcontracts/antlr/CharScanner.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerBacktrackingInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerBacktrackingInteractiveNoCaseSensitive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerBacktrackingNoInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerBacktrackingNoInteractiveNoCaseSensitive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerNoBacktrackingInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerNoBacktrackingInteractiveNoCaseSensitive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerNoBacktrackingNoInteractive.java trunk/source/java/net/sf/jcontracts/antlr/CharScannerNoBacktrackingNoInteractiveNoCaseSensitive.java trunk/source/java/net/sf/jcontracts/antlr/CodeGenerator.java trunk/source/java/net/sf/jcontracts/antlr/CommonAST.java trunk/source/java/net/sf/jcontracts/antlr/CommonToken.java trunk/source/java/net/sf/jcontracts/antlr/DefaultToolErrorHandler.java trunk/source/java/net/sf/jcontracts/antlr/DefineGrammarSymbols.java trunk/source/java/net/sf/jcontracts/antlr/DiagnosticCodeGenerator.java trunk/source/java/net/sf/jcontracts/antlr/DumpASTVisitor.java trunk/source/java/net/sf/jcontracts/antlr/ExceptionHandler.java trunk/source/java/net/sf/jcontracts/antlr/ExceptionSpec.java trunk/source/java/net/sf/jcontracts/antlr/FileCopyException.java trunk/source/java/net/sf/jcontracts/antlr/Grammar.java trunk/source/java/net/sf/jcontracts/antlr/GrammarAnalyzer.java trunk/source/java/net/sf/jcontracts/antlr/GrammarAtom.java trunk/source/java/net/sf/jcontracts/antlr/GrammarElement.java trunk/source/java/net/sf/jcontracts/antlr/GrammarSymbol.java trunk/source/java/net/sf/jcontracts/antlr/JavaBlockFinishingInfo.java trunk/source/java/net/sf/jcontracts/antlr/JavaCharFormatter.java trunk/source/java/net/sf/jcontracts/antlr/JavaCodeGenerator.java trunk/source/java/net/sf/jcontracts/antlr/LLkAnalyzer.java trunk/source/java/net/sf/jcontracts/antlr/LLkGrammarAnalyzer.java trunk/source/java/net/sf/jcontracts/antlr/LLkParser.java trunk/source/java/net/sf/jcontracts/antlr/LLkParserNoInteractive.java trunk/source/java/net/sf/jcontracts/antlr/LexerGrammar.java trunk/source/java/net/sf/jcontracts/antlr/Lookahead.java trunk/source/java/net/sf/jcontracts/antlr/MakeGrammar.java trunk/source/java/net/sf/jcontracts/antlr/MismatchedTokenException.java trunk/source/java/net/sf/jcontracts/antlr/NoViableAltException.java trunk/source/java/net/sf/jcontracts/antlr/OneOrMoreBlock.java trunk/source/java/net/sf/jcontracts/antlr/OptionalBlock.java trunk/source/java/net/sf/jcontracts/antlr/Parser.java trunk/source/java/net/sf/jcontracts/antlr/ParserException.java trunk/source/java/net/sf/jcontracts/antlr/ParserGrammar.java trunk/source/java/net/sf/jcontracts/antlr/RuleBlock.java trunk/source/java/net/sf/jcontracts/antlr/RuleEndElement.java trunk/source/java/net/sf/jcontracts/antlr/RuleRefElement.java trunk/source/java/net/sf/jcontracts/antlr/RuleSymbol.java trunk/source/java/net/sf/jcontracts/antlr/ScannerException.java trunk/source/java/net/sf/jcontracts/antlr/SemanticException.java trunk/source/java/net/sf/jcontracts/antlr/SimpleTokenManager.java trunk/source/java/net/sf/jcontracts/antlr/StringLiteralElement.java trunk/source/java/net/sf/jcontracts/antlr/StringLiteralSymbol.java trunk/source/java/net/sf/jcontracts/antlr/SynPredBlock.java trunk/source/java/net/sf/jcontracts/antlr/TokdefTokenManager.java trunk/source/java/net/sf/jcontracts/antlr/Token.java trunk/source/java/net/sf/jcontracts/antlr/TokenBuffer.java trunk/source/java/net/sf/jcontracts/antlr/TokenManager.java trunk/source/java/net/sf/jcontracts/antlr/TokenQueue.java trunk/source/java/net/sf/jcontracts/antlr/TokenRangeElement.java trunk/source/java/net/sf/jcontracts/antlr/TokenRefElement.java trunk/source/java/net/sf/jcontracts/antlr/TokenSymbol.java trunk/source/java/net/sf/jcontracts/antlr/Tokenizer.java trunk/source/java/net/sf/jcontracts/antlr/Tool.java trunk/source/java/net/sf/jcontracts/antlr/ToolErrorHandler.java trunk/source/java/net/sf/jcontracts/antlr/TreeBlockContext.java trunk/source/java/net/sf/jcontracts/antlr/TreeElement.java trunk/source/java/net/sf/jcontracts/antlr/TreeParser.java trunk/source/java/net/sf/jcontracts/antlr/TreeSpecifierNode.java trunk/source/java/net/sf/jcontracts/antlr/TreeWalkerGrammar.java trunk/source/java/net/sf/jcontracts/antlr/WildcardElement.java trunk/source/java/net/sf/jcontracts/antlr/ZeroOrMoreBlock.java trunk/source/java/net/sf/jcontracts/antlr/actions/ActionLexer.java trunk/source/java/net/sf/jcontracts/antlr/actions/ActionLexerTokenTypes.java trunk/source/java/net/sf/jcontracts/antlr/collections/AST.java trunk/source/java/net/sf/jcontracts/antlr/collections/ASTEnumeration.java trunk/source/java/net/sf/jcontracts/antlr/collections/BitSetTest.java trunk/source/java/net/sf/jcontracts/antlr/collections/Enumerator.java trunk/source/java/net/sf/jcontracts/antlr/collections/LLStackTest.java trunk/source/java/net/sf/jcontracts/antlr/collections/LListTest.java trunk/source/java/net/sf/jcontracts/antlr/collections/List.java trunk/source/java/net/sf/jcontracts/antlr/collections/Stack.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/ASTArray.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/ASTEnumerator.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/BitSet.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/IndexedVector.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/LLCell.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/LLEnumeration.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/LList.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/Vector.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/VectorEnumeration.java trunk/source/java/net/sf/jcontracts/antlr/collections/impl/VectorEnumerator.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/Grammar.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/GrammarFile.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/Hierarchy.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/Option.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/Preprocessor.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/PreprocessorLexer.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/PreprocessorTokenTypes.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/Rule.java trunk/source/java/net/sf/jcontracts/antlr/preprocessor/Tool.java trunk/source/java/net/sf/jcontracts/argparser/ArgLexer.java trunk/source/java/net/sf/jcontracts/argparser/ArgParser.java trunk/source/java/net/sf/jcontracts/argparser/ArgTokenTypes.java trunk/source/java/net/sf/jcontracts/argparser/ExtendedToken.java trunk/source/java/net/sf/jcontracts/argparser/MetaclassFactory.java trunk/source/java/net/sf/jcontracts/argparser/OptionMetaclass.java trunk/source/java/net/sf/jcontracts/argparser/ParserMetaclassFactory.java trunk/source/java/net/sf/jcontracts/argparser/TargetMetaclass.java trunk/source/java/net/sf/jcontracts/codeparser/Class.java trunk/source/java/net/sf/jcontracts/codeparser/CodeComment.java trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclass.java trunk/source/java/net/sf/jcontracts/codeparser/DebugVisitor.java trunk/source/java/net/sf/jcontracts/codeparser/ExtendedToken.java trunk/source/java/net/sf/jcontracts/codeparser/Interface.java trunk/source/java/net/sf/jcontracts/codeparser/JavaLexer.java trunk/source/java/net/sf/jcontracts/codeparser/JavaParser.java trunk/source/java/net/sf/jcontracts/codeparser/JavaTokenTypes.java trunk/source/java/net/sf/jcontracts/codeparser/MetaclassFactory.java trunk/source/java/net/sf/jcontracts/codeparser/Method.java trunk/source/java/net/sf/jcontracts/codeparser/Parser.java trunk/source/java/net/sf/jcontracts/codeparser/ParserMetaclassFactory.java trunk/source/java/net/sf/jcontracts/codeparser/TypeMetaclass.java trunk/source/java/net/sf/jcontracts/codeparser/Variable.java trunk/source/java/net/sf/jcontracts/dependencyanalyzer/BooleanBlockWithNodeArg.java trunk/source/java/net/sf/jcontracts/dependencyanalyzer/DependencyAnalyzer.java trunk/source/java/net/sf/jcontracts/dependencyanalyzer/Graph.java trunk/source/java/net/sf/jcontracts/dependencyanalyzer/Node.java trunk/source/java/net/sf/jcontracts/icontract/AllFilesUpToDateException.java trunk/source/java/net/sf/jcontracts/icontract/AllOption.java trunk/source/java/net/sf/jcontracts/icontract/ArgMetaclassFactory.java trunk/source/java/net/sf/jcontracts/icontract/AssertionExpression.java trunk/source/java/net/sf/jcontracts/icontract/Class.java trunk/source/java/net/sf/jcontracts/icontract/Constants.java trunk/source/java/net/sf/jcontracts/icontract/DefaultExceptionOption.java trunk/source/java/net/sf/jcontracts/icontract/FileTarget.java trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java trunk/source/java/net/sf/jcontracts/icontract/IContracted.java trunk/source/java/net/sf/jcontracts/icontract/Interface.java trunk/source/java/net/sf/jcontracts/icontract/InvCheck.java trunk/source/java/net/sf/jcontracts/icontract/MergeOption.java trunk/source/java/net/sf/jcontracts/icontract/MetaclassFactory.java trunk/source/java/net/sf/jcontracts/icontract/Method.java trunk/source/java/net/sf/jcontracts/icontract/Option.java trunk/source/java/net/sf/jcontracts/icontract/OutputOption.java trunk/source/java/net/sf/jcontracts/icontract/ParameterOption.java trunk/source/java/net/sf/jcontracts/icontract/PrePostCheck.java trunk/source/java/net/sf/jcontracts/icontract/ProcessingOption.java trunk/source/java/net/sf/jcontracts/icontract/Repository.java trunk/source/java/net/sf/jcontracts/icontract/RepositoryOutputOption.java trunk/source/java/net/sf/jcontracts/icontract/SystemInTarget.java trunk/source/java/net/sf/jcontracts/icontract/Target.java trunk/source/java/net/sf/jcontracts/icontract/Tool.java trunk/source/java/net/sf/jcontracts/icontract/UnableToDetermineTypeException.java trunk/source/java/net/sf/jcontracts/icontract/Variable.java Added Paths: ----------- trunk/source/java/net/sf/jcontracts/argparser/ArgumentsParser.java trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclassVisitor.java trunk/source/java/net/sf/jcontracts/codeparser/MultipleCompilationUnitState.java Removed Paths: ------------- trunk/source/java/net/sf/jcontracts/antlr/ASTNULLType.java trunk/source/java/net/sf/jcontracts/argparser/Option.java trunk/source/java/net/sf/jcontracts/argparser/Parser.java trunk/source/java/net/sf/jcontracts/argparser/Target.java trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclassCache.java trunk/source/java/net/sf/jcontracts/codeparser/ICodeBody.java trunk/source/java/net/sf/jcontracts/codeparser/ICodeMetaclassVisitor.java Modified: trunk/site/contractInheritance.html =================================================================== --- trunk/site/contractInheritance.html 2008-05-09 17:31:07 UTC (rev 54) +++ trunk/site/contractInheritance.html 2008-05-17 10:45:25 UTC (rev 55) @@ -48,7 +48,13 @@ <p>Each of these extensions is described below.</p> - <h2><a name="inheritingMultipleTimes" />Inheriting the same method from multiple types</h2> + <h2><a name="inheritingMultipleTimes" />Inheriting contracts from multiple types</h2> + + <p>This section explains a number of issues with contract inheritance when the same method is + inherited from multiple base types. Because of these issues inheritance of the same method from + multiple types is not allowed.</p> + + <h3>Methods</h3> <p>When the same method is inherited from multiple types it is impossible to generate correct pre- and postconditions for the overriding method. The combination of preconditions (the same effect as @@ -58,8 +64,6 @@ rejected. It is even possible that all return values are rejected because no value can satisfy the combination of postconditions.</p> - <p>Because of this issue inheritance of the same method from multiple types is not allowed.</p> - <p>Here is an example showing how the combination of pre- and postconditions would lead to unwanted results. This is the method declaration from the first base type:</p> @@ -96,7 +100,14 @@ equal to zero it contains a bug, but this bug cannot detected.</p> <p>The combination of postconditions prevents this method from returning any result at all as there is no - integer that is both less than or equal to zero, and greater than one hundred.</p> + integer that is both less than or equal to zero, and greater than one hundred.</p> + + <h3>Invariants</h3> + + <p>The problems with inheriting multiple postconditions for the same method also applies to invariants. If + multiple inherited invariants have assertions about the return values of the same method, the combination + of these invariants will cause valid return values for base types to become invalid, with the possiblity + of invalidating all values.</p> <h2><a name="weakening" />Weakening preconditions</h2> @@ -128,7 +139,9 @@ <p>Clients of a method that invoke strengthened methods will only receive a subset of the possible results of the original method. This means you cannot test your client with all possible return values, so bugs (instead of - contract violations) might surface if the implementation is changed to one that does return all possible values.</p> + contract violations) might surface if the implementation is changed to one that does return all possible values.</p> + + <p>To prevent issues with postconditions it is best to not strengthen them.</p> <h2>Invariants</h2> Modified: trunk/source/java/net/sf/jcontracts/antlr/ANTLRException.java =================================================================== --- trunk/source/java/net/sf/jcontracts/antlr/ANTLRException.java 2008-05-09 17:31:07 UTC (rev 54) +++ trunk/source/java/net/sf/jcontracts/antlr/ANTLRException.java 2008-05-17 10:45:25 UTC (rev 55) @@ -1,6 +1,7 @@ /* * Copyright 1997-2000 Reto Kramer - * Copyright 2006 John Swapceinski, Johan Stuyts + * Copyright 2006 John Swapceinski + * Copyright 2006, 2008 Johan Stuyts * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. Modified: trunk/source/java/net/sf/jcontracts/antlr/ANTLRGrammarParseBehavior.java =================================================================== --- trunk/source/java/net/sf/jcontracts/antlr/ANTLRGrammarParseBehavior.java 2008-05-09 17:31:07 UTC (rev 54) +++ trunk/source/java/net/sf/jcontracts/antlr/ANTLRGrammarParseBehavior.java 2008-05-17 10:45:25 UTC (rev 55) @@ -1,6 +1,7 @@ /* * Copyright 1997-2000 Reto Kramer - * Copyright 2006 John Swapceinski, Johan Stuyts + * Copyright 2006 John Swapceinski + * Copyright 2006, 2008 Johan Stuyts * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -20,101 +21,99 @@ public interface ANTLRGrammarParseBehavior { + void abortGrammar(); - public abstract void abortGrammar(); + void beginAlt(boolean flag); - public abstract void beginAlt(boolean flag); + void beginChildList(); - public abstract void beginChildList(); + void beginExceptionGroup(); - public abstract void beginExceptionGroup(); + void beginExceptionSpec(Token token); - public abstract void beginExceptionSpec(Token token); + void beginSubRule(Token token, int i, boolean flag); - public abstract void beginSubRule(Token token, int i, boolean flag); + void beginTree(int i) throws SemanticException; - public abstract void beginTree(int i) throws SemanticException; + void defineRuleName(Token token, String s, boolean flag) throws SemanticException; - public abstract void defineRuleName(Token token, String s, boolean flag) throws SemanticException; + void endAlt(); - public abstract void endAlt(); + void endChildList(); - public abstract void endChildList(); + void endExceptionGroup(); - public abstract void endExceptionGroup(); + void endExceptionSpec(); - public abstract void endExceptionSpec(); + void endGrammar(); - public abstract void endGrammar(); + void endOptions(); - public abstract void endOptions(); + void endRule(String s); - public abstract void endRule(String s); + void endSubRule(); - public abstract void endSubRule(); + void endTree(); - public abstract void endTree(); + void hasError(); - public abstract void hasError(); + void noASTSubRule(); - public abstract void noASTSubRule(); + void oneOrMoreSubRule(); - public abstract void oneOrMoreSubRule(); + void optionalSubRule(); - public abstract void optionalSubRule(); + void refAction(Token token); - public abstract void refAction(Token token); + void refArgAction(Token token); - public abstract void refArgAction(Token token); + void refCharLiteral(Token token, Token token1, boolean flag, int i, boolean flag1); - public abstract void refCharLiteral(Token token, Token token1, boolean flag, int i, boolean flag1); + void refCharRange(Token token, Token token1, Token token2, int i, boolean flag); - public abstract void refCharRange(Token token, Token token1, Token token2, int i, boolean flag); + void refExceptionHandler(Token token, String s); - public abstract void refExceptionHandler(Token token, String s); + void refHeaderAction(Token token); - public abstract void refHeaderAction(Token token); + void refInitAction(Token token); - public abstract void refInitAction(Token token); + void refMemberAction(Token token); - public abstract void refMemberAction(Token token); + void refPreambleAction(Token token); - public abstract void refPreambleAction(Token token); + void refReturnAction(Token token); - public abstract void refReturnAction(Token token); + void refRule(Token token, Token token1, Token token2, Token token3, int i); - public abstract void refRule(Token token, Token token1, Token token2, Token token3, int i); + void refSemPred(Token token); - public abstract void refSemPred(Token token); + void refStringLiteral(Token token, Token token1, int i, boolean flag); - public abstract void refStringLiteral(Token token, Token token1, int i, boolean flag); + void refToken(Token token, Token token1, Token token2, Token token3, boolean flag, int i, boolean flag1); - public abstract void refToken(Token token, Token token1, Token token2, Token token3, boolean flag, int i, - boolean flag1); + void refTokenRange(Token token, Token token1, Token token2, int i, boolean flag); - public abstract void refTokenRange(Token token, Token token1, Token token2, int i, boolean flag); + void refTreeSpecifier(Token token); - public abstract void refTreeSpecifier(Token token); + void refWildcard(Token token, Token token1, int i); - public abstract void refWildcard(Token token, Token token1, int i); + void setArgOfRuleRef(Token token); - public abstract void setArgOfRuleRef(Token token); + void setCharVocabulary(BitSet bitset); - public abstract void setCharVocabulary(BitSet bitset); + void setFileOption(Token token, Token token1); - public abstract void setFileOption(Token token, Token token1); + void setGrammarOption(Token token, Token token1); - public abstract void setGrammarOption(Token token, Token token1); + void setRuleOption(Token token, Token token1); - public abstract void setRuleOption(Token token, Token token1); + void startLexer(Token token, String s); - public abstract void startLexer(Token token, String s); + void startParser(Token token, String s); - public abstract void startParser(Token token, String s); + void startTreeWalker(Token token, String s); - public abstract void startTreeWalker(Token token, String s); + void synPred(); - public abstract void synPred(); - - public abstract void zeroOrMoreSubRule(); + void zeroOrMoreSubRule(); } Modified: trunk/source/java/net/sf/jcontracts/antlr/ANTLRHashString.java =================================================================== --- trunk/source/java/net/sf/jcontracts/antlr/ANTLRHashString.java 2008-05-09 17:31:07 UTC (rev 54) +++ trunk/source/java/net/sf/jcontracts/antlr/ANTLRHashString.java 2008-05-17 10:45:25 UTC (rev 55) @@ -1,6 +1,7 @@ /* * Copyright 1997-2000 Reto Kramer - * Copyright 2006 John Swapceinski, Johan Stuyts + * Copyright 2006 John Swapceinski + * Copyright 2006, 2008 Johan Stuyts * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -21,24 +22,24 @@ public ANTLRHashString(char buf[], int length, CharScanner lexer) { - this.lexer = lexer; + lexer_ = lexer; setBuffer(buf, length); } public ANTLRHashString(CharScanner lexer) { - this.lexer = lexer; + lexer_ = lexer; } public ANTLRHashString(String s, CharScanner lexer) { - this.lexer = lexer; + lexer_ = lexer; setString(s); } private final char charAt(int index) { - return s == null ? buf[index] : s.charAt(index); + return s_ == null ? buf_[index] : s_.charAt(index); } public boolean equals(Object o) @@ -50,7 +51,7 @@ ANTLRHashString s; if (o instanceof String) { - s = new ANTLRHashString((String) o, lexer); + s = new ANTLRHashString((String) o, lexer_); } else { @@ -61,7 +62,7 @@ { return false; } - if (lexer.getCaseSensitiveLiterals()) + if (lexer_.getCaseSensitiveLiterals()) { for (int i = 0; i < l; i++) { @@ -76,7 +77,7 @@ { for (int i = 0; i < l; i++) { - if (lexer.toLower(charAt(i)) != lexer.toLower(s.charAt(i))) + if (lexer_.toLower(charAt(i)) != lexer_.toLower(s.charAt(i))) { return false; } @@ -90,7 +91,7 @@ { int hashval = 0; int l = length(); - if (lexer.getCaseSensitiveLiterals()) + if (lexer_.getCaseSensitiveLiterals()) { for (int i = 0; i < l; i++) { @@ -102,7 +103,7 @@ { for (int i = 0; i < l; i++) { - hashval = hashval * 151 + lexer.toLower(charAt(i)); + hashval = hashval * 151 + lexer_.toLower(charAt(i)); } } @@ -111,27 +112,27 @@ private final int length() { - return s == null ? len : s.length(); + return s_ == null ? len : s_.length(); } public void setBuffer(char buf[], int length) { - this.buf = buf; + buf_ = buf; len = length; - s = null; + s_ = null; } public void setString(String s) { - this.s = s; - buf = null; + s_ = s; + buf_ = null; } - private String s; + private String s_; - private char buf[]; + private char buf_[]; private int len; - private CharScanner lexer; + private CharScanner lexer_; } Modified: trunk/source/java/net/sf/jcontracts/antlr/ANTLRLexer.java =================================================================== --- trunk/source/java/net/sf/jcontracts/antlr/ANTLRLexer.java 2008-05-09 17:31:07 UTC (rev 54) +++ trunk/source/java/net/sf/jcontracts/antlr/ANTLRLexer.java 2008-05-17 10:45:25 UTC (rev 55) @@ -1,6 +1,7 @@ /* * Copyright 1997-2000 Reto Kramer - * Copyright 2006 John Swapceinski, Johan Stuyts + * Copyright 2006 John Swapceinski + * Copyright 2006, 2008 Johan Stuyts * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -27,24 +28,24 @@ public ANTLRLexer(CharBufferNoBacktrackingNoInteractive cb) { super(cb); - super.literals = new Hashtable(); - super.literals.put(new ANTLRHashString("Parser", this), new Integer(30)); - super.literals.put(new ANTLRHashString("catch", this), new Integer(38)); - super.literals.put(new ANTLRHashString("Lexer", this), new Integer(9)); - super.literals.put(new ANTLRHashString("exception", this), new Integer(37)); - super.literals.put(new ANTLRHashString("class", this), new Integer(7)); - super.literals.put(new ANTLRHashString("lexclass", this), new Integer(6)); - super.literals.put(new ANTLRHashString("public", this), new Integer(32)); - super.literals.put(new ANTLRHashString("header", this), new Integer(4)); - super.literals.put(new ANTLRHashString("tokens", this), new Integer(26)); - super.literals.put(new ANTLRHashString("charVocabulary", this), new Integer(17)); - super.literals.put(new ANTLRHashString("options", this), new Integer(11)); - super.literals.put(new ANTLRHashString("returns", this), new Integer(36)); - super.literals.put(new ANTLRHashString("TreeParser", this), new Integer(10)); - super.literals.put(new ANTLRHashString("private", this), new Integer(33)); - super.literals.put(new ANTLRHashString("protected", this), new Integer(31)); - super.literals.put(new ANTLRHashString("extends", this), new Integer(8)); - super.caseSensitiveLiterals = true; + literals_ = new Hashtable(); + literals_.put(new ANTLRHashString("Parser", this), new Integer(30)); + literals_.put(new ANTLRHashString("catch", this), new Integer(38)); + literals_.put(new ANTLRHashString("Lexer", this), new Integer(9)); + literals_.put(new ANTLRHashString("exception", this), new Integer(37)); + literals_.put(new ANTLRHashString("class", this), new Integer(7)); + literals_.put(new ANTLRHashString("lexclass", this), new Integer(6)); + literals_.put(new ANTLRHashString("public", this), new Integer(32)); + literals_.put(new ANTLRHashString("header", this), new Integer(4)); + literals_.put(new ANTLRHashString("tokens", this), new Integer(26)); + literals_.put(new ANTLRHashString("charVocabulary", this), new Integer(17)); + literals_.put(new ANTLRHashString("options", this), new Integer(11)); + literals_.put(new ANTLRHashString("returns", this), new Integer(36)); + literals_.put(new ANTLRHashString("TreeParser", this), new Integer(10)); + literals_.put(new ANTLRHashString("private", this), new Integer(33)); + literals_.put(new ANTLRHashString("protected", this), new Integer(31)); + literals_.put(new ANTLRHashString("extends", this), new Integer(8)); + caseSensitiveLiterals_ = true; } public ANTLRLexer(Reader in) @@ -93,11 +94,8 @@ { return 0; } - else - { - return Character.digit(cs.charAt(3), 16) * 16 * 16 * 16 + Character.digit(cs.charAt(4), 16) * 16 - * 16 + Character.digit(cs.charAt(5), 16) * 16 + Character.digit(cs.charAt(6), 16); - } + return Character.digit(cs.charAt(3), 16) * 16 * 16 * 16 + Character.digit(cs.charAt(4), 16) * 16 * 16 + + Character.digit(cs.charAt(5), 16) * 16 + Character.digit(cs.charAt(6), 16); case 48: // '0' case 49: // '1' @@ -111,10 +109,7 @@ { return (cs.charAt(2) - 48) * 8 + (cs.charAt(3) - 48); } - else - { - return cs.charAt(2) - 48; - } + return cs.charAt(2) - 48; case 52: // '4' case 53: // '5' @@ -124,10 +119,7 @@ { return (cs.charAt(2) - 48) * 8 + (cs.charAt(3) - 48); } - else - { - return cs.charAt(2) - 48; - } + return cs.charAt(2) - 48; } return 0; } @@ -135,11 +127,11 @@ public final void mACTION(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 5; int actionLine = getLine(); mNESTED_ACTION(false); - if (super.la_1 == '?') + if (la_1 == '?') { match('?'); _ttype = 40; @@ -153,78 +145,78 @@ setText(Tool.stripFrontBack(getText(), "{", "}?")); } setLine(actionLine); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mARG_ACTION(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 35; mNESTED_ARG_ACTION(false); setText(Tool.stripFrontBack(getText(), "[", "]")); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mASSIGN(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 14; match('='); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mBANG(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 34; match('!'); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mCARET(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 46; match('^'); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mCHAR_LITERAL(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 19; match('\''); - switch (super.la_1) + switch (la_1) { case 92: // '\\' mESC(false); @@ -359,38 +351,38 @@ throw new ScannerException("no viable alt for char: " + LA(1), getLine()); } match('\''); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mCOLON(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 12; match(':'); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mCOMMENT(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 49; - if (super.la_1 == '/' && super.la_2 == '/') + if (la_1 == '/' && la_2 == '/') { mSL_COMMENT(false); } - else if (super.la_1 == '/' && super.la_2 == '*') + else if (la_1 == '/' && la_2 == '*') { mML_COMMENT(false); } @@ -399,35 +391,35 @@ throw new ScannerException("no viable alt for char: " + LA(1), getLine()); } _ttype = -1; - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } protected final void mDIGIT(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 53; matchRange('0', '9'); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } protected final void mESC(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 52; match('\\'); - switch (super.la_1) + switch (la_1) { case 110: // 'n' match('n'); @@ -466,10 +458,10 @@ case 50: // '2' case 51: // '3' matchRange('0', '3'); - if (super.la_1 >= '0' && super.la_1 <= '9' && super.la_2 >= '\003' && super.la_2 <= '~') + if (la_1 >= '0' && la_1 <= '9' && la_2 >= '\003' && la_2 <= '~') { mDIGIT(false); - if (super.la_1 >= '0' && super.la_1 <= '9' && super.la_2 >= '\003' && super.la_2 <= '~') + if (la_1 >= '0' && la_1 <= '9' && la_2 >= '\003' && la_2 <= '~') { mDIGIT(false); } @@ -481,7 +473,7 @@ case 54: // '6' case 55: // '7' matchRange('4', '7'); - if (super.la_1 >= '0' && super.la_1 <= '9' && super.la_2 >= '\003' && super.la_2 <= '~') + if (la_1 >= '0' && la_1 <= '9' && la_2 >= '\003' && la_2 <= '~') { mDIGIT(false); } @@ -498,37 +490,37 @@ default: throw new ScannerException("no viable alt for char: " + LA(1), getLine()); } - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mIMPLIES(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 45; match("=>"); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mINT(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 20; int _cnt = 0; do { - if (super.la_1 >= '0' && super.la_1 <= '9') + if (la_1 >= '0' && la_1 <= '9') { matchRange('0', '9'); } @@ -543,24 +535,24 @@ _cnt++; } while (true); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } protected final int mINTERNAL_RULE_REF(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 58; int t = 28; matchRange('a', 'z'); do { - switch (super.la_1) + switch (la_1) { case 95: // '_' match('_'); @@ -579,12 +571,12 @@ matchRange('0', '9'); continue; } - if (super.la_1 >= 'a' && super.la_1 <= 'z') + if (la_1 >= 'a' && la_1 <= 'z') { matchRange('a', 'z'); continue; } - if (super.la_1 < 'A' || super.la_1 > 'Z') + if (la_1 < 'A' || la_1 > 'Z') { break; } @@ -592,38 +584,38 @@ } while (true); t = testLiteralsTable(t); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; return t; } public final void mLPAREN(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 27; match('('); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } protected final void mML_COMMENT(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 51; match("/*"); do { - switch (super.la_1) + switch (la_1) { case 10: // '\n' match('\n'); @@ -755,7 +747,7 @@ match(_tokenSet_1); continue; } - if (super.la_1 != '*' || super.la_2 < '\003' || super.la_2 > '~' || LA(2) == '/') + if (la_1 != '*' || la_2 < '\003' || la_2 > '~' || LA(2) == '/') { break; } @@ -763,23 +755,23 @@ } while (true); match("*/"); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } protected final void mNESTED_ACTION(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 57; match('{'); do { - switch (super.la_1) + switch (la_1) { case 10: // '\n' match('\n'); @@ -798,17 +790,17 @@ mSTRING_LITERAL(false); continue; } - if (super.la_1 == '/' && (super.la_2 == '*' || super.la_2 == '/') && (LA(2) == '/' || LA(2) == '*')) + if (la_1 == '/' && (la_2 == '*' || la_2 == '/') && (LA(2) == '/' || LA(2) == '*')) { mCOMMENT(false); continue; } - if (super.la_1 == '/' && super.la_2 >= '\003' && super.la_2 <= '~') + if (la_1 == '/' && la_2 >= '\003' && la_2 <= '~') { match('/'); continue; } - if (!_tokenSet_2.member(super.la_1)) + if (!_tokenSet_2.member(la_1)) { break; } @@ -816,23 +808,23 @@ } while (true); match('}'); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } protected final void mNESTED_ARG_ACTION(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 56; match('['); label0: do { - switch (super.la_1) + switch (la_1) { case 91: // '[' mNESTED_ARG_ACTION(false); @@ -979,140 +971,141 @@ } } while (true); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mNOT_OP(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 39; match('~'); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mOR(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 21; match('|'); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mPLUS(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 44; match('+'); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } protected final void mPOINTER(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 60; match("->"); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mQUESTION(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 42; match('?'); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mRANGE(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 22; match(".."); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mRCURLY(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 16; match('}'); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mRPAREN(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 29; match(')'); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mRULE_REF(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 28; int t = 0; t = mINTERNAL_RULE_REF(false); _ttype = t; if (t == 11) { - for (; _tokenSet_3.member(super.la_1); mWS(false)) + while (_tokenSet_3.member(la_1)) { + mWS(false); } - if (super.la_1 == '{') + if (la_1 == '{') { match('{'); _ttype = 13; @@ -1120,79 +1113,81 @@ } else if (t == 26) { - for (; _tokenSet_3.member(super.la_1); mWS(false)) + while (_tokenSet_3.member(la_1)) { + mWS(false); } - if (super.la_1 == '{') + if (la_1 == '{') { match('{'); _ttype = 23; } } - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mSEMI(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 15; match(';'); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } protected final void mSL_COMMENT(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 50; match("//"); - for (; _tokenSet_0.member(super.la_1); matchNot('\n')) + while (_tokenSet_0.member(la_1)) { + matchNot('\n'); } match('\n'); newline(); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mSTAR(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 43; match('*'); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mSTRING_LITERAL(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 18; match('"'); label0: do { - switch (super.la_1) + switch (la_1) { case 92: // '\\' mESC(false); @@ -1329,23 +1324,23 @@ } } while (true); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mTOKEN_REF(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 24; matchRange('A', 'Z'); do { - switch (super.la_1) + switch (la_1) { case 95: // '_' match('_'); @@ -1364,12 +1359,12 @@ matchRange('0', '9'); continue; } - if (super.la_1 >= 'a' && super.la_1 <= 'z') + if (la_1 >= 'a' && la_1 <= 'z') { matchRange('a', 'z'); continue; } - if (super.la_1 < 'A' || super.la_1 > 'Z') + if (la_1 < 'A' || la_1 > 'Z') { break; } @@ -1377,32 +1372,32 @@ } while (true); _ttype = testLiteralsTable(_ttype); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mTREE_BEGIN(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 41; match("#("); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _begin, text.length() - _begin)); } - super._returnToken = _token; + returnToken_ = _token; } public final void mTREE_SPECIFIER(boolean _createToken) throws ScannerException { Token _token = null; - int _begin = super.text.length(); + int _begin = text.length(); int _ttype = 59; mPOINTER(false); mWS_OPT(false); @@ -1410,7 +1405,7 @@ int _cnt = 0; do { - if (_tokenSet_4.member(super.la_1)) + if (_tokenSet_4.member(la_1)) { mTREE_SPECIFIER_TERM(false); mWS_OPT(false); @@ -1426,22 +1421,22 @@ _cnt++; } while (true); - if (_createToken && _token == null) + if (_createToken) { _token = makeToken(_ttype); - _token.setText(new String(super.text.getBuffer(), _begin, super.text.length() - _begin)); + _token.setText(new String(text.getBuffer(), _b... [truncated message content] |