luke
/
sbt
mirror of https://github.com/sbt/sbt.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
sbt/interface/other

81 lines
1.3 KiB
Plaintext
Raw Permalink Normal View History

work on source api parts
2010-01-23 02:17:49 +01:00
Source
implement shortcut for API equality checking, fixes #18
2011-06-01 08:19:46 +02:00
compilation: Compilation
hash: Byte*
api: SourceAPI
store hashes of API instead of full API. fixes #21
2011-10-06 00:09:27 +02:00
apiHash: Int
Add hashing of public names defined in a source file. A hash for given name in a source file is computed by combining hashes of all definitions with given name. When hashing a single definition we take into account all information about it except nested definitions. For example, if we have following definition class Foo[T] { def bar(x: Int): Int = ??? } hash sum for `Foo` will include the fact that we have a class with a single type parameter but it won't include hash sum of `bar` method. Computed hash sums are location-sensitive. Each definition is hashed along with its location so we properly detect cases when definition's signature stays the same but it's moved around in the same compilation unit. The location is defined as sequence of selections. Each selection consists of a name and name type. The name type is either term name or type name. Scala specification (9.2) guarantees that each publicly visible definition is uniquely identified by a sequence of such selectors. For example, if we have: object Foo { class Bar { def abc: Int } } then location of `abc` is Seq((TermName, Foo), (TypeName, Bar)) It's worth mentioning that we track name-hash pairs separately for regular (non implicit) and implicit members. That's required for name hashing algorithm because it does not apply its heuristic when implicit members are being modified. Another important characteristic is that we include all inherited members when computing name hashes. Here comes the detailed list of changes made in this commit: * HashAPI has new parameter `includeDefinitions` that allows shallow hashing of Structures (where we do not compute hashes recursively) * HashAPI exposes `finalizeHash` method that allow one to capture current hash at any time. This is useful if you want to hash a list of definitions and not just whole `SourceAPI`. * NameHashing implements actual extraction of public definitions, grouping them by simple name and computing hash sums for each group using HashAPI * `Source` class (defined in interface/other file) has been extended to include `_internalOnly_nameHashes` field. This field stores NameHashes data structure for given source file. The NameHashes stores two separate collections of name-hash pairs for regular and implicit members. The prefix `_internalOnly_` is used to indicate that this is not an official incremental compiler's or sbt's API and it's for use by incremental compiler internals only. We had to use such a prefix because the `datatype` code generator doesn't support emitting access modifiers * `AnalysisCallback` implementation has been modified to gather all name hashes and store them in the Source object * TestCaseGenerators has been modified to implement generation of NameHashes * The NameHashingSpecification contains a few unit tests that make sure that the basic functionality works properly
2013-12-04 01:34:18 +01:00
_internalOnly_nameHashes: _internalOnly_NameHashes
Macro def aware recompilation. - Read macro modifier from method definition. - Always recompile downstream files after a file containing macro defs is recompiled. - Source is extended with a hasMacro attribute. Mark suggests that this might be better tracked in Relations, but I'm not sure how to make that change.
2012-03-04 13:19:58 +01:00
hasMacro: Boolean
implement shortcut for API equality checking, fixes #18
2011-06-01 08:19:46 +02:00
Add hashing of public names defined in a source file. A hash for given name in a source file is computed by combining hashes of all definitions with given name. When hashing a single definition we take into account all information about it except nested definitions. For example, if we have following definition class Foo[T] { def bar(x: Int): Int = ??? } hash sum for `Foo` will include the fact that we have a class with a single type parameter but it won't include hash sum of `bar` method. Computed hash sums are location-sensitive. Each definition is hashed along with its location so we properly detect cases when definition's signature stays the same but it's moved around in the same compilation unit. The location is defined as sequence of selections. Each selection consists of a name and name type. The name type is either term name or type name. Scala specification (9.2) guarantees that each publicly visible definition is uniquely identified by a sequence of such selectors. For example, if we have: object Foo { class Bar { def abc: Int } } then location of `abc` is Seq((TermName, Foo), (TypeName, Bar)) It's worth mentioning that we track name-hash pairs separately for regular (non implicit) and implicit members. That's required for name hashing algorithm because it does not apply its heuristic when implicit members are being modified. Another important characteristic is that we include all inherited members when computing name hashes. Here comes the detailed list of changes made in this commit: * HashAPI has new parameter `includeDefinitions` that allows shallow hashing of Structures (where we do not compute hashes recursively) * HashAPI exposes `finalizeHash` method that allow one to capture current hash at any time. This is useful if you want to hash a list of definitions and not just whole `SourceAPI`. * NameHashing implements actual extraction of public definitions, grouping them by simple name and computing hash sums for each group using HashAPI * `Source` class (defined in interface/other file) has been extended to include `_internalOnly_nameHashes` field. This field stores NameHashes data structure for given source file. The NameHashes stores two separate collections of name-hash pairs for regular and implicit members. The prefix `_internalOnly_` is used to indicate that this is not an official incremental compiler's or sbt's API and it's for use by incremental compiler internals only. We had to use such a prefix because the `datatype` code generator doesn't support emitting access modifiers * `AnalysisCallback` implementation has been modified to gather all name hashes and store them in the Source object * TestCaseGenerators has been modified to implement generation of NameHashes * The NameHashingSpecification contains a few unit tests that make sure that the basic functionality works properly
2013-12-04 01:34:18 +01:00
_internalOnly_NameHashes
regularMembers: _internalOnly_NameHash*
implicitMembers: _internalOnly_NameHash*
_internalOnly_NameHash
name: String
hash: Int
implement shortcut for API equality checking, fixes #18
2011-06-01 08:19:46 +02:00
SourceAPI
work on source api parts
2010-01-23 02:17:49 +01:00
packages : Package*
definitions: Definition*
Changes required to use sbt as-is from Scala-IDE.
2012-07-10 19:12:39 +02:00
OutputSetting
sourceDirectory: String
outputDirectory: String
implement shortcut for API equality checking, fixes #18
2011-06-01 08:19:46 +02:00
Compilation
startTime: Long
Changes required to use sbt as-is from Scala-IDE.
2012-07-10 19:12:39 +02:00
outputs: OutputSetting*
implement shortcut for API equality checking, fixes #18
2011-06-01 08:19:46 +02:00
work on source api parts
2010-01-23 02:17:49 +01:00
Package
name: String
Access
Public
Qualified
qualifier: Qualifier
Protected
Private
Qualifier
Unqualified
ThisQualifier
IdQualifier
value: String
ParameterList
parameters: MethodParameter*
isImplicit: Boolean
MethodParameter
name: String
tpe: Type
hasDefault: Boolean
modifier: ParameterModifier
TypeParameter
approximate type parameters and references by name not as accurate, but simpler.
2012-05-13 05:12:29 +02:00
id: String
work on source api parts
2010-01-23 02:17:49 +01:00
annotations: Annotation*
typeParameters : TypeParameter*
variance: Variance
lowerBound: Type
upperBound: Type
Annotation
an annotation can reference a non-simple type, fixes #24
2011-05-24 00:40:03 +02:00
base: Type
work on source api parts
2010-01-23 02:17:49 +01:00
arguments: AnnotationArgument*
AnnotationArgument
name: String
value: String
enum Variance : Contravariant, Covariant, Invariant
enum ParameterModifier : Repeated, Plain, ByName
enum DefinitionType : Trait, ClassDef, Module, PackageModule
Path
components: PathComponent*
PathComponent
Super
qualifier: Path
This
Id
id: String