YAS representation java(text)
Language
Dependencies
- languages/FSML/Prolog: function
- Function statesOfFsm
- Representation fsml(term)
- Representation java(text)
- Goal statesOfFsm
- Files: None
- languages/FSML/Prolog: function
- Function inputsOfFsm
- Representation fsml(term)
- Representation java(text)
- Goal inputsOfFsm
- Files: None
- languages/FSML/Prolog: function
- Function actionsOfFsm
- Representation fsml(term)
- Representation java(text)
- Goal actionsOfFsm
- Files: None
- languages/FSML/Prolog: function
- Function stepperOfFsm
- Representation fsml(term)
- Representation java(text)
- Goal stepperOfFsm
- Files: None
- languages/FSML/Prolog/to-java: membership
- Representation java(text)
- Goal succeed
- Files: None
- languages/FSML/Prolog/to-java: function
- Function ppJavaDecl
- Representation java(term)
- Representation java(text)
- Goal ppJavaDecl
- Files: None
- languages/Java: membership
- Representation java(text)
- Goal succeed
- Files: None
Files
- languages/ASL/samples/adts/Java/functional/v1/Cons.java
- languages/ASL/samples/adts/Java/functional/v1/Demo.java
- languages/ASL/samples/adts/Java/functional/v1/List.java
- languages/ASL/samples/adts/Java/functional/v1/Nil.java
- languages/ASL/samples/adts/Java/functional/v2/Cons.java
- languages/ASL/samples/adts/Java/functional/v2/Demo.java
- languages/ASL/samples/adts/Java/functional/v2/List.java
- languages/ASL/samples/adts/Java/functional/v2/Nil.java
- languages/ASL/samples/adts/Java/imperative/v1/Cons.java
- languages/ASL/samples/adts/Java/imperative/v1/Demo.java
- languages/ASL/samples/adts/Java/imperative/v1/List.java
- languages/ASL/samples/adts/Java/imperative/v2/Cons.java
- languages/ASL/samples/adts/Java/imperative/v2/Demo.java
- languages/ASL/samples/adts/Java/imperative/v2/List.java
- languages/ASL/samples/adts/Java/imperative/v3/Cons.java
- languages/ASL/samples/adts/Java/imperative/v3/Demo.java
- languages/ASL/samples/adts/Java/imperative/v3/List.java
- languages/BL/Java/org/softlang/gbl/Resolution.java
- languages/BL/Java/org/softlang/gbl/Sample.java
- languages/BL/Java/org/softlang/gbl/Syntax.java
- languages/BL/Java/org/softlang/tbl/Sample.java
- languages/BL/Java/org/softlang/tbl/Syntax.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfBaseListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfConversion.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfConversionBaseListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfConversionLexer.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfConversionListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfConversionParser.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfLexer.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfParser.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlBnfSyntaxChecker.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfAcceptor.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfBaseListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfConversion.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfConversionBaseListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfConversionLexer.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfConversionListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfConversionParser.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfLexer.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfListener.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfParser.java
- languages/BNL/ANTLR/org/softlang/bnl/BnlEbnfSyntaxChecker.java
- languages/BNL/ESL/java/Bit.java
- languages/BNL/ESL/java/Number.java
- languages/BNL/ESL/java/as.java
- languages/BNL/Java/Bit.java
- languages/BNL/Java/Bits.java
- languages/BNL/Java/Integer.java
- languages/BNL/Java/Many.java
- languages/BNL/Java/Number.java
- languages/BNL/Java/One.java
- languages/BNL/Java/Rational.java
- languages/BNL/Java/Rest.java
- languages/BNL/Java/Single.java
- languages/BNL/Java/Zero.java
- languages/BNL/Java/as.java
- languages/BTL/Java/org/softlang/btl/Sample.java
- languages/BTL/Java/org/softlang/btl/Syntax.java
- languages/EIPL/ANTLR/org/softlang/eipl/EiplChecker.java
- languages/EIPL/ANTLR/org/softlang/eipl/EiplCheckerBaseListener.java
- languages/EIPL/ANTLR/org/softlang/eipl/EiplCheckerLexer.java
- languages/EIPL/ANTLR/org/softlang/eipl/EiplCheckerListener.java
- languages/EIPL/ANTLR/org/softlang/eipl/EiplCheckerParser.java
- languages/EIPL/ANTLR/org/softlang/eipl/Env.java
- languages/FSML/Java/org/softlang/fsml/Fsm.java
- languages/FSML/Java/org/softlang/fsml/FsmlAcceptor.java
- languages/FSML/Java/org/softlang/fsml/FsmlBaseListener.java
- languages/FSML/Java/org/softlang/fsml/FsmlCGenerator.java
- languages/FSML/Java/org/softlang/fsml/FsmlDeterministismException.java
- languages/FSML/Java/org/softlang/fsml/FsmlDistinctIdsException.java
- languages/FSML/Java/org/softlang/fsml/FsmlException.java
- languages/FSML/Java/org/softlang/fsml/FsmlInfeasibleEventException.java
- languages/FSML/Java/org/softlang/fsml/FsmlInterpreter.java
- languages/FSML/Java/org/softlang/fsml/FsmlLexer.java
- languages/FSML/Java/org/softlang/fsml/FsmlListener.java
- languages/FSML/Java/org/softlang/fsml/FsmlObservation.java
- languages/FSML/Java/org/softlang/fsml/FsmlObservationImpl.java
- languages/FSML/Java/org/softlang/fsml/FsmlParser.java
- languages/FSML/Java/org/softlang/fsml/FsmlResolutionException.java
- languages/FSML/Java/org/softlang/fsml/FsmlSingleInitialException.java
- languages/FSML/Java/org/softlang/fsml/FsmlSyntaxChecker.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjects.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjects2BaseListener.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjects2Lexer.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjects2Listener.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjects2Parser.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjectsBaseListener.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjectsLexer.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjectsListener.java
- languages/FSML/Java/org/softlang/fsml/FsmlToObjectsParser.java
- languages/FSML/Java/org/softlang/fsml/FunctionalSample.java
- languages/FSML/Java/org/softlang/fsml/ImperativeSample.java
- languages/FSML/Java/org/softlang/fsml/State.java
- languages/FSML/Java/org/softlang/fsml/Transition.java
- languages/FSML/Java/org/softlang/fsml/fluent/ActionStatePair.java
- languages/FSML/Java/org/softlang/fsml/fluent/Fsm.java
- languages/FSML/Java/org/softlang/fsml/fluent/FsmImpl.java
- languages/FSML/Java/org/softlang/fsml/fluent/FsmlInterpreter.java
- languages/FSML/Java/org/softlang/fsml/fluent/Sample.java
- languages/FSML/Java/org/softlang/fsml/tests/AcceptorTest.java
- languages/FSML/Java/org/softlang/fsml/tests/CGeneratorTest.java
- languages/FSML/Java/org/softlang/fsml/tests/FluentTest.java
- languages/FSML/Java/org/softlang/fsml/tests/FsmlParserTest.java
- languages/FSML/Java/org/softlang/fsml/tests/FsmlParserTest2.java
- languages/FSML/Java/org/softlang/fsml/tests/FsmlToObjectsTest.java
- languages/FSML/Java/org/softlang/fsml/tests/InfluentTest.java
- languages/FSML/Prolog/generated/Action.java
- languages/FSML/Prolog/generated/Demo.java
- languages/FSML/Prolog/generated/Handler.java
- languages/FSML/Prolog/generated/HandlerBase.java
- languages/FSML/Prolog/generated/Input.java
- languages/FSML/Prolog/generated/Pair.java
- languages/FSML/Prolog/generated/State.java
- languages/FSML/Prolog/generated/Stepper.java
- languages/FSML/Prolog/generated/StepperBase.java
- languages/FSML/Prolog/to-java/sample.java
- samples/xcoupled/slbook/xcoupled/JDOMUtilities.java
- samples/xcoupled/slbook/xcoupled/Operator.java
- samples/xcoupled/slbook/xcoupled/RenameElementName.java
- samples/xcoupled/slbook/xcoupled/Tests.java
- samples/xcoupled/slbook/xcoupled/xml/RenameElementNameXML.java
- samples/xcoupled/slbook/xcoupled/xsd/RenameElementNameXSD.java
- samples/xcoupled/slbook/xcoupled/xslt/RenameElementNameXSLT.java