• Home
• com.anaplan.engineering
• vdm-animation-api
• 0.2.0
• source code
• VdmAnimationException.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

com.anaplan.engineering.vdmanimation.api.VdmAnimationException.kt Maven / Gradle / Ivy

package com.anaplan.engineering.vdmanimation.api

sealed class VdmAnimationException(e: Exception) : RuntimeException(e)

class VdmPreconditionFailure(e: Exception) : VdmAnimationException(e)

class VdmPostconditionFailure(e: Exception) : VdmAnimationException(e)

class VdmInvariantFailure(e: Exception) : VdmAnimationException(e)

class VdmDeclarationFailure(e: Exception) : VdmAnimationException(e)