-
Notifications
You must be signed in to change notification settings - Fork 12
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #347 from sjrd/readercontext
Introduce a more restrictive `ReaderContext` inside `reader.*`.
- Loading branch information
Showing
15 changed files
with
338 additions
and
194 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
77 changes: 77 additions & 0 deletions
77
tasty-query/shared/src/main/scala/tastyquery/reader/ReaderContext.scala
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,77 @@ | ||
| package tastyquery.reader | ||
|
|
||
| import tastyquery.Contexts.* | ||
| import tastyquery.Names.* | ||
| import tastyquery.SourceFile | ||
| import tastyquery.Symbols.* | ||
| import tastyquery.Types.* | ||
|
|
||
| /** A restricted Context that is safe to use from the readers. | ||
| * | ||
| * It does not give access to anything that might require reading other files. | ||
| */ | ||
| private[reader] final class ReaderContext(underlying: Context): | ||
| def RootPackage: PackageSymbol = underlying.defn.RootPackage | ||
| def EmptyPackage: PackageSymbol = underlying.defn.EmptyPackage | ||
| def javaLangPackage: PackageSymbol = underlying.defn.javaLangPackage | ||
| def scalaPackage: PackageSymbol = underlying.defn.scalaPackage | ||
|
|
||
| def NothingType: NothingType = underlying.defn.NothingType | ||
| def AnyType: TypeRef = underlying.defn.AnyType | ||
| def MatchableType: TypeRef = underlying.defn.MatchableType | ||
| def ObjectType: TypeRef = underlying.defn.ObjectType | ||
| def FromJavaObjectType: TypeRef = underlying.defn.FromJavaObjectType | ||
|
|
||
| def IntType: TypeRef = underlying.defn.IntType | ||
| def LongType: TypeRef = underlying.defn.LongType | ||
| def FloatType: TypeRef = underlying.defn.FloatType | ||
| def DoubleType: TypeRef = underlying.defn.DoubleType | ||
| def BooleanType: TypeRef = underlying.defn.BooleanType | ||
| def ByteType: TypeRef = underlying.defn.ByteType | ||
| def ShortType: TypeRef = underlying.defn.ShortType | ||
| def CharType: TypeRef = underlying.defn.CharType | ||
| def UnitType: TypeRef = underlying.defn.UnitType | ||
|
|
||
| def ArrayTypeOf(tpe: TypeOrWildcard): AppliedType = underlying.defn.ArrayTypeOf(tpe) | ||
| def RepeatedTypeOf(tpe: TypeOrWildcard): AppliedType = underlying.defn.RepeatedTypeOf(tpe) | ||
|
|
||
| def GenericTupleTypeOf(elementTypes: List[TypeOrWildcard]): Type = underlying.defn.GenericTupleTypeOf(elementTypes) | ||
|
|
||
| def NothingAnyBounds: RealTypeBounds = underlying.defn.NothingAnyBounds | ||
|
|
||
| def uninitializedMethodTermRef: TermRef = underlying.defn.uninitializedMethodTermRef | ||
|
|
||
| def findPackageFromRootOrCreate(fullyQualifiedName: FullyQualifiedName): PackageSymbol = | ||
| underlying.findPackageFromRootOrCreate(fullyQualifiedName) | ||
|
|
||
| /** Reads a package reference, with a fallback on faked term references. | ||
| * | ||
| * In a full, correct classpath, `createPackageSelection()` will always | ||
| * return a `PackageRef`. However, in an incomplete or incorrect classpath, | ||
| * this method may return a `TermRef` if the target package does not exist. | ||
| * | ||
| * An alternative would be to create missing packages on the fly, but that | ||
| * would not be consistent with `Trees.Select.tpe` and | ||
| * `Trees.TermRefTypeTree.toType`. | ||
| */ | ||
| def createPackageSelection(path: List[TermName]): TermReferenceType = | ||
| path.foldLeft[TermReferenceType](RootPackage.packageRef) { (prefix, name) => | ||
| NamedType.possibleSelFromPackage(prefix, name) | ||
| } | ||
| end createPackageSelection | ||
|
|
||
| def getSourceFile(path: String): SourceFile = | ||
| underlying.getSourceFile(path) | ||
|
|
||
| def hasGenericTuples: Boolean = underlying.classloader.hasGenericTuples | ||
|
|
||
| def createObjectMagicMethods(cls: ClassSymbol): Unit = | ||
| underlying.defn.createObjectMagicMethods(cls) | ||
|
|
||
| def createStringMagicMethods(cls: ClassSymbol): Unit = | ||
| underlying.defn.createStringMagicMethods(cls) | ||
| end ReaderContext | ||
|
|
||
| private[reader] object ReaderContext: | ||
| def rctx(using context: ReaderContext): context.type = context | ||
| end ReaderContext |
Oops, something went wrong.