stan/FeatherweightTypeInference
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add FJNamedType trait. Not Runnable!

Browse Source
This commit is contained in:
JanUlrich 2021-12-09 19:51:38 +01:00
parent 0c79b40f2f
commit 27bd663b1b
1 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/main/scala/hb/dhbw/FiniteClosure.scala
View File

@ -1,9 +1,13 @@
package hb.dhbw
trait FJNamedType{
def name: String
def params: List[FJNamedType]
}
class FiniteClosure(val extendsRelations : Set[(UnifyRefType, UnifyRefType)]){
class FiniteClosure(val extendsRelations : Set[(FJNamedType, FJNamedType)]){
private def calculateSupertypes(of: UnifyRefType) ={
private def calculateSupertypes(of: FJNamedType) ={
var rel = Set((of, of))
var size = rel.size
do {
@ -12,25 +16,25 @@ class FiniteClosure(val extendsRelations : Set[(UnifyRefType, UnifyRefType)]){
}while(rel.size > size)
rel.map(_._2)
}
private def reflexiveTypes(of: Set[(UnifyRefType, UnifyRefType)]) ={
private def reflexiveTypes(of: Set[(FJNamedType, FJNamedType)]) ={
val ref = Set.newBuilder[(UnifyRefType, UnifyRefType)]
ref ++= of.map(pair => (pair._1, pair._1))
ref ++= of.map(pair => (pair._2, pair._2))
ref.result()
}
private def transitiveTypes(of: Set[(UnifyRefType, UnifyRefType)]) ={
private def transitiveTypes(of: Set[(FJNamedType, FJNamedType)]) ={
val ref = Set.newBuilder[(UnifyRefType, UnifyRefType)]
ref ++= of.flatMap(pair => of.filter(p => p._1.eq(pair._2)))
ref.result()
}
private def superClassTypes(of: UnifyRefType) = {
private def superClassTypes(of: FJNamedType) = {
val extendsRelation = extendsRelations.filter(pair => pair._1.name.equals(of.name))
extendsRelation.map(p => {
val paramMap = p._1.params.zip(of.params).toMap
(of,UnifyRefType(p._2.name, p._2.params.map(paramMap)))
})
}
private def superClassTypes(of: Set[(UnifyRefType, UnifyRefType)]) : Set[(UnifyRefType, UnifyRefType)] ={
private def superClassTypes(of: Set[(FJNamedType, FJNamedType)]) : Set[(FJNamedType, FJNamedType)] ={
val sClass = Set.newBuilder[(UnifyRefType, UnifyRefType)]
sClass ++= of.flatMap(pair => Set(pair._2, pair._1)).flatMap(t => superClassTypes(t))
sClass.result()