{
  "code": "LSP",
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-liskov-substitution",
  "id": "liskov-substitution",
  "kind": "principle",
  "layer": {
    "href": "https://banes-lab.com/ontology/schema#layer-structural-core",
    "json": "https://banes-lab.com/json/records/layer/structural-core",
    "label": "Structural Core",
    "markdown": "https://banes-lab.com/records/layer/structural-core.md",
    "ref": "layer:structural-core"
  },
  "name": "Liskov Substitution Principle",
  "ref": "architecture:liskov-substitution",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-contract-preservation",
          "json": "https://banes-lab.com/json/records/lexicon/contract-preservation",
          "label": "Contract Preservation",
          "markdown": "https://banes-lab.com/records/lexicon/contract-preservation.md",
          "ref": "lexicon:contract-preservation"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-preconditions",
          "json": "https://banes-lab.com/json/records/architecture/preconditions",
          "label": "Preconditions",
          "markdown": "https://banes-lab.com/records/architecture/preconditions.md",
          "ref": "architecture:preconditions"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-postconditions",
          "json": "https://banes-lab.com/json/records/architecture/postconditions",
          "label": "Postconditions",
          "markdown": "https://banes-lab.com/records/architecture/postconditions.md",
          "ref": "architecture:postconditions"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-invariant",
          "json": "https://banes-lab.com/json/records/architecture/invariant",
          "label": "Invariant",
          "markdown": "https://banes-lab.com/records/architecture/invariant.md",
          "ref": "architecture:invariant"
        }
      ],
      "relation": "requires"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-polymorphism",
          "json": "https://banes-lab.com/json/records/architecture/polymorphism",
          "label": "Polymorphism",
          "markdown": "https://banes-lab.com/records/architecture/polymorphism.md",
          "ref": "architecture:polymorphism"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-type-safety",
          "json": "https://banes-lab.com/json/records/architecture/type-safety",
          "label": "Type Safety",
          "markdown": "https://banes-lab.com/records/architecture/type-safety.md",
          "ref": "architecture:type-safety"
        }
      ],
      "relation": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-safe-substitution",
          "json": "https://banes-lab.com/json/records/lexicon/safe-substitution",
          "label": "Safe Substitution",
          "markdown": "https://banes-lab.com/records/lexicon/safe-substitution.md",
          "ref": "lexicon:safe-substitution"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-substitutability",
          "json": "https://banes-lab.com/json/records/lexicon/substitutability",
          "label": "Substitutability",
          "markdown": "https://banes-lab.com/records/lexicon/substitutability.md",
          "ref": "lexicon:substitutability"
        }
      ],
      "relation": "enables"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-broken-inheritance",
          "json": "https://banes-lab.com/json/records/lexicon/broken-inheritance",
          "label": "Broken Inheritance",
          "markdown": "https://banes-lab.com/records/lexicon/broken-inheritance.md",
          "ref": "lexicon:broken-inheritance"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-broken-inheritance",
          "json": "https://banes-lab.com/json/records/lexicon/broken-inheritance",
          "label": "Broken Inheritance",
          "markdown": "https://banes-lab.com/records/lexicon/broken-inheritance.md",
          "ref": "lexicon:broken-inheritance"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-narrow-specialized-behavior",
          "json": "https://banes-lab.com/json/records/lexicon/narrow-specialized-behavior",
          "label": "Narrow Specialized Behavior",
          "markdown": "https://banes-lab.com/records/lexicon/narrow-specialized-behavior.md",
          "ref": "lexicon:narrow-specialized-behavior"
        }
      ],
      "relation": "tensions-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#tension-liskov-substitution-principle-lsp-narrow-specialized-behavior",
          "json": "https://banes-lab.com/json/records/tension/liskov-substitution-principle-lsp-narrow-specialized-behavior",
          "label": "Liskov Substitution Principle (LSP) / Narrow Specialized Behavior",
          "markdown": "https://banes-lab.com/records/tension/liskov-substitution-principle-lsp-narrow-specialized-behavior.md",
          "ref": "tension:liskov-substitution-principle-lsp-narrow-specialized-behavior"
        }
      ],
      "relation": "tensions"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-broken-inheritance",
          "json": "https://banes-lab.com/json/records/lexicon/broken-inheritance",
          "label": "Broken Inheritance",
          "markdown": "https://banes-lab.com/records/lexicon/broken-inheritance.md",
          "ref": "lexicon:broken-inheritance"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-replace-inheritance-with-delegation",
          "json": "https://banes-lab.com/json/records/lexicon/replace-inheritance-with-delegation",
          "label": "Replace Inheritance with Delegation",
          "markdown": "https://banes-lab.com/records/lexicon/replace-inheritance-with-delegation.md",
          "ref": "lexicon:replace-inheritance-with-delegation"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-extract-interface",
          "json": "https://banes-lab.com/json/records/lexicon/extract-interface",
          "label": "Extract Interface",
          "markdown": "https://banes-lab.com/records/lexicon/extract-interface.md",
          "ref": "lexicon:extract-interface"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-split-hierarchy",
          "json": "https://banes-lab.com/json/records/lexicon/split-hierarchy",
          "label": "Split Hierarchy",
          "markdown": "https://banes-lab.com/records/lexicon/split-hierarchy.md",
          "ref": "lexicon:split-hierarchy"
        }
      ],
      "relation": "refactored-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#vocabulary-severity-mandatory",
          "json": "https://banes-lab.com/json/records/vocabulary/severity-mandatory",
          "label": "mandatory",
          "markdown": "https://banes-lab.com/records/vocabulary/severity-mandatory.md",
          "ref": "vocabulary:severity-mandatory"
        }
      ],
      "relation": "severity"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-category-solid-object-oriented-design",
          "json": "https://banes-lab.com/json/records/architecture-category/solid-object-oriented-design",
          "label": "SOLID / Object-Oriented Design",
          "markdown": "https://banes-lab.com/records/architecture-category/solid-object-oriented-design.md",
          "ref": "architecture-category:solid-object-oriented-design"
        }
      ],
      "relation": "category"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-design-by-contract",
          "json": "https://banes-lab.com/json/records/architecture/design-by-contract",
          "label": "Design by Contract",
          "markdown": "https://banes-lab.com/records/architecture/design-by-contract.md",
          "ref": "architecture:design-by-contract"
        }
      ],
      "relation": "enabled-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/software-architecture/principles#the-structural-domain",
          "json": "https://banes-lab.com/json/software-architecture/principles/the-structural-domain",
          "label": "The structural domain",
          "markdown": "https://banes-lab.com/software-architecture/principles/the-structural-domain.md",
          "ref": "chapter:/software-architecture/principles#the-structural-domain"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-contracts-interfaces-compatibility",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-contracts-interfaces-compatibility",
          "label": "Contracts / Interfaces / Compatibility",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-contracts-interfaces-compatibility.md",
          "ref": "chapter:/ontology#architecture-category-contracts-interfaces-compatibility"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-solid-object-oriented-design",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-solid-object-oriented-design",
          "label": "SOLID / Object-Oriented Design",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-solid-object-oriented-design.md",
          "ref": "chapter:/ontology#architecture-category-solid-object-oriented-design"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-schema-canonical-data-semantics",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-schema-canonical-data-semantics",
          "label": "Schema / Canonical Data / Semantics",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-schema-canonical-data-semantics.md",
          "ref": "chapter:/ontology#architecture-category-schema-canonical-data-semantics"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-core-vocabulary",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-core-vocabulary",
          "label": "Core Vocabulary",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-core-vocabulary.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-core-vocabulary"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-quality-attributes",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-quality-attributes",
          "label": "Quality Attributes",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-quality-attributes.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-quality-attributes"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-solid-object-oriented-design",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-solid-object-oriented-design",
          "label": "SOLID / Object-Oriented Design",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-solid-object-oriented-design.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-solid-object-oriented-design"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-vocabulary-severity",
          "json": "https://banes-lab.com/json/ontology/schema/the-vocabulary-severity",
          "label": "Severity levels",
          "markdown": "https://banes-lab.com/ontology/schema/the-vocabulary-severity.md",
          "ref": "chapter:/ontology/schema#the-vocabulary-severity"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-resolutions",
          "json": "https://banes-lab.com/json/ontology/schema/the-resolutions",
          "label": "The resolutions",
          "markdown": "https://banes-lab.com/ontology/schema/the-resolutions.md",
          "ref": "chapter:/ontology/schema#the-resolutions"
        }
      ],
      "relation": "linked-from"
    }
  ],
  "summary": "A design rule that a subtype can replace its base type anywhere, because it keeps the base type's preconditions, postconditions and invariants.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-polymorphism",
      "json": "https://banes-lab.com/json/records/architecture/polymorphism",
      "label": "Polymorphism",
      "markdown": "https://banes-lab.com/records/architecture/polymorphism.md",
      "ref": "architecture:polymorphism"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-open-closed",
      "json": "https://banes-lab.com/json/records/architecture/open-closed",
      "label": "Open/Closed Principle (OCP)",
      "markdown": "https://banes-lab.com/records/architecture/open-closed.md",
      "ref": "architecture:open-closed"
    }
  },
  "up": {
    "href": null,
    "json": "https://banes-lab.com/json/api/records/architecture",
    "label": "Architecture principles",
    "markdown": "https://banes-lab.com/api/records/architecture.md",
    "ref": "api:records/architecture"
  },
  "aliases": [
    "LSP",
    "Liskov Substitution Principle",
    "Behavioral Subtyping"
  ],
  "exemplar": {
    "after": "class FooStore {\n  save(foo: Foo): Promise<Receipt> { return persist(foo); }\n}\nclass AuditedFooStore extends FooStore {\n  async save(foo: Foo): Promise<Receipt> {\n    const receipt = await super.save(foo);\n    audit.record(receipt);\n    return receipt;\n  }\n}",
    "before": "class FooStore {\n  save(foo: Foo): Promise<Receipt> { return persist(foo); }\n}\nclass ReadOnlyFooStore extends FooStore {\n  save(): Promise<Receipt> { throw new Error(\"not supported\"); }\n}",
    "lang": "ts",
    "medium": "code"
  },
  "formedBy": null,
  "scope": [
    "class",
    "interface",
    "type hierarchy"
  ],
  "severity": "mandatory"
}