blob: f435a385e1cb88f86031871063a7572b85ab0a4a (
plain) (
tree)
|
|
class Certificate{}
object Admin extends Certificate;
class SecurityViolationException extends Exception
object Sensitive {
def makeSensitive(credentials: Certificate): Sensitive =
if (credentials == Admin) new Sensitive()
else throw new SecurityViolationException
}
class Sensitive private () {
}
object Attacker {
val x = Sensitive.makeSensitive(null)
val y = new Sensitive()
}
|