From fb85866979d32eb719c1c27a66d311d42a57da0e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <mikael.mayer@epfl.ch>
Date: Tue, 28 Jun 2016 15:25:20 +0200
Subject: [PATCH] Added forgotten @library on functions names.
---
library/leon/lang/StaticChecks.scala | 1 +
library/leon/webDSL/webDescription/WebPage.scala | 4 +++-
library/leon/webDSL/webDescription/package.scala | 1 +
3 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/library/leon/lang/StaticChecks.scala b/library/leon/lang/StaticChecks.scala
index e53f2def0..1b6e20569 100644
--- a/library/leon/lang/StaticChecks.scala
+++ b/library/leon/lang/StaticChecks.scala
@@ -6,6 +6,7 @@ import scala.language.implicitConversions
object StaticChecks {
case class Ensuring[A](x: A) {
+ @library
def ensuring(cond: (A) => Boolean): A = x
}
diff --git a/library/leon/webDSL/webDescription/WebPage.scala b/library/leon/webDSL/webDescription/WebPage.scala
index c00b219d7..274b75187 100644
--- a/library/leon/webDSL/webDescription/WebPage.scala
+++ b/library/leon/webDSL/webDescription/WebPage.scala
@@ -10,6 +10,7 @@ case class StyleRule(target: String, rules: List[WebStyle])
@library
case class StyleSheet(elems: List[StyleRule]) {
+ @library
def apply(l: List[StyleRule]): StyleSheet = {
StyleSheet(elems ++ l)
}
@@ -23,7 +24,8 @@ case class StyleSheet(elems: List[StyleRule]) {
}
}
-object WebPage {
+object WebPage {
+ @library
def apply(main: WebElement): WebPage = {
WebPage(main, StyleSheet(Nil()))
}
diff --git a/library/leon/webDSL/webDescription/package.scala b/library/leon/webDSL/webDescription/package.scala
index 188ddece7..ca052d39d 100644
--- a/library/leon/webDSL/webDescription/package.scala
+++ b/library/leon/webDSL/webDescription/package.scala
@@ -4,6 +4,7 @@ import leon.lang._
import leon.annotation._
package object webDescription {
+ @library
val Style = StyleSheet(Nil())
@library
--
GitLab