Skip to content

Commit

Permalink
Renaming inheritsCustom definition
Browse files Browse the repository at this point in the history
  • Loading branch information
fdodino committed Sep 15, 2023
1 parent 87cf3b6 commit 2b4d839
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/validator.ts
Original file line number Diff line number Diff line change
Expand Up @@ -298,7 +298,7 @@ export const shouldNotDuplicateVariablesInLinearization = error<Module>(node =>
})

export const shouldImplementInheritedAbstractMethods = error<Singleton>(node =>
!inheritsCustom(node) || !node.allMethods.some(method => !isImplemented(node.allMethods, method) && method.isAbstract())
!inheritsCustomDefinition(node) || !node.allMethods.some(method => !isImplemented(node.allMethods, method) && method.isAbstract())
)

export const shouldHaveBody = error<Method>(node => {
Expand Down Expand Up @@ -511,7 +511,7 @@ const baseClass = 'Object'
const allParents = (module: Module) =>
module.supertypes.map(supertype => supertype.reference.target).flatMap(supertype => supertype?.hierarchy ?? [])

const inheritsCustom = (module: Module) =>
const inheritsCustomDefinition = (module: Module) =>
notEmpty(allParents(module).filter(element => element.name !== baseClass))

const getReferencedModule = (parent: Node): Module | undefined => match(parent)(
Expand Down

0 comments on commit 2b4d839

Please sign in to comment.