Home
Java
JSTL
Struts
Spring
Hibernate
Webservice
Eclipse
API
Guest Post
Menu
Explorer
L42-master
Main
src
antlrGenerated
L42BaseListener.java
L42BaseVisitor.java
L42Lexer.java
L42Listener.java
L42Parser.java
L42Visitor.java
ast
Ast.java
ErrorMessage.java
ExpCore.java
Expression.java
InternalError.java
NonNull.java
PathAux.java
Redex.java
Util.java
auxiliaryGrammar
Ctx.java
EncodingHelper.java
Functions.java
Locator.java
UsedPaths.java
UsedPathsPlus.java
WellFormedness.java
WellFormednessCore.java
coreVisitors
CheckNoVarDeclaredTwice.java
CloneVisitor.java
CloneVisitorWithProgram.java
CloneWithPath.java
CollectClassBs0.java
CollectPaths0.java
Dec.java
Exists.java
ExtractCtxCompiled.java
ExtractCtxUpToX.java
ExtractCtxVal.java
ExtractThrow.java
FindPathUsage.java
FreeVariables.java
From.java
FromInClass.java
HB.java
InjectionOnSugar.java
IsCompiled.java
IsCtx.java
IsRedex.java
IsValue.java
Move.java
NormalizeBlocks.java
PathAnnotateClass.java
PropagatorVisitor.java
RemoveMethod.java
RenameVars.java
ReplaceCtx.java
ReplaceX.java
RetainOnlyAndRenameAs.java
TestShapeVisitor.java
Visitor.java
facade
Configuration.java
ErrorFormatter.java
L42.java
PData.java
Parser.java
Reduction.java
newTypeSystem
AlternativeMethodTypes.java
ErrorKind.java
FormattedError.java
GuessTypeCore.java
TIn.java
TOut.java
TsBlock.java
TsLibrary.java
TsMCall.java
TsOperations.java
TypeManipulation.java
TypeSystem.java
platformSpecific
fakeInternet
ActionType.java
OnLineCode.java
PluginType.java
PluginWithPart.java
javaTranslation
Resources.java
privateMangling
RefreshUniqueNames.java
profiling
Timer.java
programReduction
CtxC.java
CtxL.java
Methods.java
MultiTypeSystem.java
Norm.java
Paths.java
Program.java
ProgramReduction.java
UsedPaths.java
repl
ReplGui.java
ReplState.java
sugarVisitors
AbstractVisitor.java
CheckNoVarDeclaredTwice.java
CheckTerminatingBlock.java
CheckVarUsedAreInScope.java
CloneVisitor.java
CollapsePositions.java
CollectDeclaredClassNamesAndMethodNames.java
CollectDeclaredVars.java
ContextDirectlyIn.java
Desugar.java
DesugarCatchDefault.java
DesugarContext.java
DesugarNormalizeReceiver.java
DesugarPaths.java
DesugarVars.java
DesugarW.java
Exists.java
FlatFirstLevelLocalNestedClasses.java
GuessType.java
InjectionOnCore.java
PropagatorVisitor.java
ReplaceDots.java
ToAst.java
ToFormattedText.java
Visitor.java
XEqOpInZEqOp.java
XInE.java
tools
Assertions.java
Map.java
Match.java
StringBuilders.java
srcLombok
ast
Ast.java
ErrorMessage.java
ExpCore.java
Expression.java
InternalError.java
PathAux.java
Redex.java
Util.java
coreVisitors
Visitor.java
sugarVisitors
Visitor.java
PlgAlu
src
is
L42
connected
withAlu
Plugin.java
PlgDatabase
src
is
L42
connected
withDatabase
Cursor.java
DatabaseResource.java
Plugin.java
TestDatabaseResource.java
PlgGui
src
is
L42
connected
withHtml
Frame.java
FrameFX.java
Plugin.java
PluginFX.java
PlgLimitations
src
is
L42
connected
withLimitations
Plugin.java
PlgNumbers
src
is
L42
connected
withNumbers
BigRational.java
Plugin.java
PlgSafeOperators
src
is
L42
connected
withSafeOperators
Abstract.java
AddDocumentation.java
ClassOperations.java
CollectedLocatorsMap.java
Errors42.java
ExtractInfo.java
Introspection.java
IsValidCompleteCode.java
LiftValue.java
MakeKs.java
MakeMethod.java
MethodPathCloneVisitor.java
Plugin.java
Pop.java
Push.java
Redirect.java
RemoveCode.java
Rename.java
RenameAlsoDefinition.java
RenameMembers.java
RenameUsage.java
SumMethods.java
_Sum.java
location
Cacher.java
Doc.java
Lib.java
Location.java
Method.java
Origin.java
Type.java
TypeRefTo.java
pluginWrapper
PlgWrapperGenerator.java
RefactorErrors.java
refactor
Compose.java
Redirect.java
Rename.java
Reduction
src
platformSpecific
inMemoryCompiler
InMemoryJavaCompiler.java
RunningUtils.java
javaTranslation
TranslateClass.java
TranslateExpression.java
Translator.java
reduction
BigStep.java
CompiledStep.java
Executor.java
Facade.java
SmallStep.java
Tests
dummy
Javascratch.java
oldTestsNotMaintained
TestCollections.java
TestSingleStep.java
testAdamTowel01
TestBase01.java
TestBase02.java
TestGui.java
testJamesV
assignment1.java
assignment3.java
gui.java
testSlow
TestFiles.java
TestL42Slow.java
TestL42SuperSlow.java
testSpecial
BuildLibs.java
DeploySimpleLib.java
FrameTest.java
TestDummyCode.java
TestExamples.java
TestL42Interactive.java
src
adamsTowel01
TestAdamTowel1.java
TestAdamTowel1Tests.java
adamsTowel02
TestAdamTowel2.java
TestAdamTowel2Tests.java
auxiliaryGrammar
TestWellFormednessCore.java
gui
TestDeploy.java
TestTests.java
helpers
ParallelizedParameterized.java
TestHelper.java
TestRunner.java
is
L42
connected
withNumbers
TestBigN.java
withSafeOperators
ExtractInfoTest.java
TestAbstract.java
TestAddComment.java
TestAddKs.java
TestIntrospection.java
TestPop.java
TestPush.java
TestRedirect.java
TestRemoveCode.java
TestRename.java
TestSum.java
TestSumMethod.java
newTypeSystem
Test212_or_170_MethodTypes.java
TestLibrary.java
TestTypeStage1.java
TestTypeSystemOk.java
platformSpecific
inMemoryCompiler
CompilationInMemoryTest.java
TestCacheOnDisk.java
TestTwoClass.java
profiling
TestTimer.java
programReduction
TestCtxC.java
TestMethods.java
TestNorm.java
TestPaths.java
TestProgram.java
TestProgramReduction.java
TestUsedPaths.java
repl
ReplTest.java
testAux
TestCloneWithPath.java
TestCoherentClass.java
TestErrorMsgs.java
TestExtractThrow.java
TestFreeVariables.java
TestFrom.java
TestGarbage.java
TestL42Limitations.java
TestL42Short.java
TestParse1.java
TestParseAndDesugar.java
TestParseAndDoAst.java
TestParseBackAndForth.java
TestShortPrograms.java
TestStringManipulations.java
TestWellFormedness.java
TranslationTest.java
package ast; public @interface NonNull {}