From 6bc489e20453e45c8c4c02412fa3d30819dd82c9 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Fri, 17 Oct 2014 18:25:29 +0200
Subject: [PATCH] Make constructors of Expr subclasses with companion .apply
methods private
---
src/main/scala/leon/purescala/Trees.scala | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index cc3bd4280..663cf5e39 100644
--- a/src/main/scala/leon/purescala/Trees.scala
+++ b/src/main/scala/leon/purescala/Trees.scala
@@ -305,7 +305,7 @@ object Trees {
if(or == null) None else Some(or.exprs)
}
- class Or(val exprs: Seq[Expr]) extends Expr with FixedType {
+ class Or private[Trees] (val exprs: Seq[Expr]) extends Expr with FixedType {
val fixedType = BooleanType
assert(exprs.size >= 2)
@@ -332,7 +332,7 @@ object Trees {
}
}
- class Iff(val left: Expr, val right: Expr) extends Expr with FixedType {
+ class Iff private[Trees] (val left: Expr, val right: Expr) extends Expr with FixedType {
val fixedType = BooleanType
override def equals(that: Any): Boolean = (that != null) && (that match {
@@ -356,7 +356,7 @@ object Trees {
if(imp == null) None else Some(imp.left, imp.right)
}
- class Implies(val left: Expr, val right: Expr) extends Expr with FixedType {
+ class Implies private[Trees] (val left: Expr, val right: Expr) extends Expr with FixedType {
val fixedType = BooleanType
override def equals(that: Any): Boolean = (that != null) && (that match {
@@ -379,7 +379,7 @@ object Trees {
}
}
- class Not private (val expr: Expr) extends Expr with FixedType {
+ class Not private[Trees] (val expr: Expr) extends Expr with FixedType {
val fixedType = BooleanType
override def equals(that: Any) : Boolean = (that != null) && (that match {
@@ -414,7 +414,7 @@ object Trees {
}
}
- class Equals(val left: Expr, val right: Expr) extends Expr with FixedType {
+ class Equals private[Trees] (val left: Expr, val right: Expr) extends Expr with FixedType {
val fixedType = BooleanType
override def equals(that: Any): Boolean = (that != null) && (that match {
--
GitLab