`Error in contract description: only references to...
# randomf
Fudge
07/22/2019, 9:11 AMError in contract description: only references to parameters are allowed in contract descriptionl
louiscad
07/22/2019, 9:13 AMWhat's your use case?
f
Fudge
07/22/2019, 9:13 AMJust when I closed my IDE xD
Fudge
07/22/2019, 9:18 AM@louiscad Simplified example:
Copy code
class PuzzlePiece {
val puzzleIn: Puzzle? = null
}
class Puzzle
fun PuzzlePiece.isInPuzzle(): Boolean {
contract {
returns(true) implies (this@isInPuzzle.puzzleIn != null)
}
return this.puzzleIn != null
}Fudge
07/22/2019, 9:18 AMthis@isInPuzzle.puzzleInFudge
07/22/2019, 9:20 AMThe benefit being that
if(isInPuzzle())if(puzzleIn != null)l
louiscad
07/22/2019, 5:29 PMYou can submit a feature request on kotl.in/issue
louiscad
07/22/2019, 5:30 PMWith that good example
11 Views