Skip to content

Instantly share code, notes, and snippets.

@andymuncey
Last active August 26, 2016 10:10
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save andymuncey/3095f744a5b12c04500b to your computer and use it in GitHub Desktop.
Save andymuncey/3095f744a5b12c04500b to your computer and use it in GitHub Desktop.
LiskovPhraseCode
class LiskovPhraseMaker {
//class properties
private var type = "T"
private var subtype = "S"
func modifiedLiskovPhrase() -> String{
return "If \(subtype) is a subtype of \(type), then objects of type \(type) may be replaced with objects of type \(subtype) (i.e., objects of type \(subtype) may substitute objects of type \(type)) without altering any of the desirable properties of that program (correctness, task performed, etc.)"
}
func setTypeName(typeName:String, subtypeName:String){
self.type = typeName
self.subtype = subtypeName
}
}
Copy link

ghost commented Oct 26, 2015

thus negating any security it provides. Therefore, we focus on making our machines and network as secure as possible.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment