aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Cleanup of decoratorsMartin Odersky2013-02-271-2/+15
|
* Cleaup of ContextsMartin Odersky2013-02-277-39/+112
|
* Renamed DenotationSet -> PreDenotationMartin Odersky2013-02-273-26/+26
|
* Fixed ModuleDefs so that they produce code that keeps invariants of tree maps.Martin Odersky2013-02-271-3/+23
| | | | | We need to make sure that every symbol that needs to be changed in a treemap is visible in the tree. For that reason, ModuleDefs now generate ClassDefs that are integrated in the regular tree, next to the ValDef the represents the module.
* Refinements to signature handling.Martin Odersky2013-02-272-42/+73
| | | | Decoupled paramSignature from erasure in the interest of efficiency.
* Rename Shared -> SharedTreeMartin Odersky2013-02-274-21/+21
|
* Filling in all ???sMartin Odersky2013-02-2726-147/+734
| | | | | | | Added reporters. Added context for signatures. Implemented method signatures via erasure. Refined derivedNameType handling.
* Fleshing out some ???'sMartin Odersky2013-02-255-21/+25
|
* Completed implementation of FlagsMartin Odersky2013-02-256-126/+242
| | | | Including translation from Scala 2.x flags.
* Systeamtic use of symbolicRef abbreviation.Martin Odersky2013-02-253-3/+3
|
* Refactoring and cleanup of several symbol creation related aspects.Martin Odersky2013-02-2415-566/+582
| | | | | | | 1. Went back to old completer model where completers are types. 2. Made class denotations a simple optimzation of symbol denotatons (with more caches) by moving all class-specific attributes into ClassInfo. 3. Now all symbol and symbol denotation creations are routed through one of 3 methods: newNakedSymbol, newNakedClassSymbol, newSymDenotation.
* Moving associatedFile from SymDenotation to SymbolMartin Odersky2013-02-234-43/+50
| | | | Motivation: This is something that stays invariant over all periods. but _can_ change between compilation runs. Therefore it matches the lifetime of a Symbol.
* UnPickler now also reads trees.Martin Odersky2013-02-222-300/+312
|
* Added methods to substitute trees and change their owners.Martin Odersky2013-02-224-9/+127
| | | | Required also some better integration with TypeMaps.
* Changed meaning of DefTree/isDef, plus other Tree changesMartin Odersky2013-02-221-21/+39
| | | | | | | | isDef now means: Defines a new symbol. Consequently, templates are DefTrees (because they define LocalDummy), but package clauses are not. DefTrees are now pickier about the names they accept. New generic instances of TreeAccumulator: ShallowFolder and DeepFolder.
* Added substSym method and dropped NoPrefix requirement.Martin Odersky2013-02-221-18/+43
| | | | Substituters now work on arbitrary NamedTypes, even if the prefix is different from NoPrefix.
* Added previously forgotten typed Try trees, modified params of typed Super ↵Martin Odersky2013-02-221-6/+14
| | | | trees.
* Misc fixes to typed trees, flags, and elsewhere.Martin Odersky2013-02-217-76/+105
|
* Some cleanups in FlagsMartin Odersky2013-02-211-34/+19
|
* Changed function expansion and fleshed out checkTypeMartin Odersky2013-02-211-47/+244
| | | | Function expansion got changed so that it requires an explicit target type and that target type can be an arbitrary SAM type.
* More utility methods and split up filterMartin Odersky2013-02-214-28/+91
| | | | More utility methods in types. Also replaced Denotation#filter with a set of more useful operations.
* Generalized ArrayValue -> SeqLiteralMartin Odersky2013-02-212-15/+28
| | | | Also introduced new category of pattern trees.
* Some more Definitions entriesMartin Odersky2013-02-211-21/+27
|
* Shortcircuited all <:< and =:= calls in TypeComparersMartin Odersky2013-02-211-6/+13
|
* Refined tree typing and started on checksMartin Odersky2013-02-205-66/+162
| | | | | | | | Function nodes are now no longre typed trees; they are represented instead as blocks: { def $anonfun(…) = …; $anonfun }. Refined block typing to autiomatically widen some types when they occur as result type of a block. Started writing check code that enforces Scala's typesystem rules oin typed trees.
* New utility operations. Made typeSymbol/termSymbol apply to TypeProxies.Martin Odersky2013-02-201-1/+12
|
* Moved TypeTrees defs into nested object tpd.Martin Odersky2013-02-205-252/+257
| | | | Reason: We need normal trees to do efficient pattern matching. So if we want to both pattern match and create trees we need to import Trees._ and TypedTrees.tpd. Then typed tree construction needs to be prefixed with tpd, e.g. tpd.Select(pre, name).
* Completed pluggability hooks for trees.Martin Odersky2013-02-201-57/+102
|
* Merge branch 'simplified-completers'Martin Odersky2013-02-1910-402/+927
|\
| * Feasibility study for transformer pluginsMartin Odersky2013-02-192-5/+114
| |
| * Making TypedTrees a full alternative to TreesMartin Odersky2013-02-194-215/+269
| | | | | | | | TypedTrees now has the full functionality of Trees. The idea is that a client should inherit from either Trees or TypedTrees, and the rest follows automatically.
| * File renameMartin Odersky2013-02-191-0/+0
| |
| * Refined treecopier, added transformer and accumulator classesMartin Odersky2013-02-191-44/+251
| |
| * Added TreeCopier classMartin Odersky2013-02-181-8/+175
| |
| * Some additions to TypedTreeGenMartin Odersky2013-02-181-1/+11
| |
| * Addec convenience methods for symbol creation.Martin Odersky2013-02-183-25/+51
| |
| * Changes to completers.Martin Odersky2013-02-185-105/+57
|/ | | | Dropped concept of pre-complete loading. Made completers functions.
* Improved position handling.Martin Odersky2013-02-187-106/+213
| | | | | | | | | | 1. All positions are range position. 2. Improved position API 3. renamed Offset to Coord, and made sure indices cannot be confused with positions. 4. Trees now automatically get positions that enclose their subtree's positions. 5. typed DefTrees contain positions that also enclose their symbol's position. To make this work well, a symbol's coord should point to the introducing keyword (e.g. def, val, class).
* Fleshed out TypeTreeGen.Martin Odersky2013-02-1810-99/+303
| | | | All base cases now supported. Still missing: Intelligent treatment of positions.
* Fleshed out tree handlingMartin Odersky2013-02-164-31/+401
|
* Added -d setting. Deleted sourcefile attribute handling in classfile parser ↵Martin Odersky2013-02-153-9/+117
| | | | because it is used nowhere.
* Optimization: don't generate member symbols for private members in a Java ↵Martin Odersky2013-02-151-2/+3
| | | | classfile.
* Creating an empty constructor if none has been read in the classfile.Martin Odersky2013-02-151-0/+10
|
* Moved ConstantPool to end of class ClassfileParserMartin Odersky2013-02-151-213/+213
|
* Consolidating error handling in unpickler and classfileparser.Martin Odersky2013-02-154-56/+23
| | | | MissingRequirement eliminated; it got replaced by new StubSymbol handling.
* Almost completed code for unpickling and classfile loading.Martin Odersky2013-02-156-621/+2037
| | | | Still remains: Unpicklign trees, dealing with sourcefile attributes.
* New definitions and flagsMartin Odersky2013-02-153-34/+61
|
* Adding method to create denotations to Contexts.Martin Odersky2013-02-151-28/+96
|
* Add method to show a scope.Martin Odersky2013-02-151-2/+1
|
* PreNames as a way to unify Names and Strings.Martin Odersky2013-02-152-1/+17
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 00:04:48 +0000