2019-03-21 21:52:32 +00:00
|
|
|
package hatmill_test
|
|
|
|
|
|
|
|
import (
|
|
|
|
"bytes"
|
2019-03-22 02:03:24 +00:00
|
|
|
"fmt"
|
2019-04-03 03:42:16 +00:00
|
|
|
"html"
|
2019-03-22 02:03:24 +00:00
|
|
|
"io"
|
2019-04-03 03:42:16 +00:00
|
|
|
"os"
|
2019-03-22 03:49:26 +00:00
|
|
|
"reflect"
|
|
|
|
"strings"
|
2019-03-22 02:03:24 +00:00
|
|
|
"testing"
|
|
|
|
|
2019-03-21 21:52:32 +00:00
|
|
|
"github.com/leanovate/gopter"
|
|
|
|
"github.com/leanovate/gopter/gen"
|
|
|
|
"github.com/leanovate/gopter/prop"
|
2019-03-22 04:30:27 +00:00
|
|
|
"gitlab.codemonkeysoftware.net/b/hatmill"
|
2019-04-03 03:42:16 +00:00
|
|
|
ha "gitlab.codemonkeysoftware.net/b/hatmill/attribute"
|
|
|
|
he "gitlab.codemonkeysoftware.net/b/hatmill/element"
|
2019-03-21 21:52:32 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
type NopWriter struct{}
|
|
|
|
|
|
|
|
func (NopWriter) Write(p []byte) (n int, err error) {
|
|
|
|
return len(p), nil
|
|
|
|
}
|
|
|
|
|
2019-03-22 02:03:24 +00:00
|
|
|
func writeToString(wt io.WriterTo) string {
|
|
|
|
var buf bytes.Buffer
|
|
|
|
_, err := wt.WriteTo(&buf)
|
|
|
|
if err != nil {
|
|
|
|
panic(err)
|
|
|
|
}
|
|
|
|
return buf.String()
|
|
|
|
}
|
|
|
|
|
|
|
|
func checkWrite(wt io.WriterTo, expected string) bool {
|
|
|
|
var buf bytes.Buffer
|
|
|
|
n, err := wt.WriteTo(&buf)
|
|
|
|
return err == nil && n == int64(buf.Len()) && buf.String() == expected
|
|
|
|
}
|
|
|
|
|
2019-03-21 21:52:32 +00:00
|
|
|
func TestText(t *testing.T) {
|
|
|
|
properties := gopter.NewProperties(nil)
|
|
|
|
|
2019-03-22 02:03:24 +00:00
|
|
|
properties.Property("WriteTo is correct", prop.ForAll(
|
2019-03-21 21:52:32 +00:00
|
|
|
func(s string) bool {
|
2019-03-22 02:03:24 +00:00
|
|
|
return checkWrite(hatmill.Text(s), s)
|
2019-03-21 21:52:32 +00:00
|
|
|
},
|
|
|
|
gen.AnyString(),
|
|
|
|
))
|
|
|
|
|
2019-03-22 02:03:24 +00:00
|
|
|
properties.TestingRun(t)
|
|
|
|
}
|
|
|
|
|
|
|
|
var nonEmptyAlphaString = gen.AlphaString().SuchThat(func(v interface{}) bool {
|
|
|
|
return v.(string) != ""
|
|
|
|
})
|
|
|
|
|
|
|
|
var attribGen = gen.Struct(reflect.TypeOf(hatmill.Attrib{}), map[string]gopter.Gen{
|
2019-03-22 03:49:26 +00:00
|
|
|
"Key": nonEmptyAlphaString,
|
|
|
|
"Value": gen.AlphaString(),
|
2019-03-22 02:03:24 +00:00
|
|
|
})
|
|
|
|
|
|
|
|
func TestAttrib(t *testing.T) {
|
|
|
|
properties := gopter.NewProperties(nil)
|
|
|
|
|
|
|
|
properties.Property("WriteTo only writes key when value is empty", prop.ForAll(
|
|
|
|
func(key string) bool {
|
|
|
|
attrib := hatmill.Attrib{
|
|
|
|
Key: key,
|
|
|
|
}
|
|
|
|
return checkWrite(attrib, key)
|
2019-03-21 21:52:32 +00:00
|
|
|
},
|
2019-03-22 02:03:24 +00:00
|
|
|
nonEmptyAlphaString,
|
2019-03-21 21:52:32 +00:00
|
|
|
))
|
|
|
|
|
2019-03-22 02:03:24 +00:00
|
|
|
properties.Property("writes key=value when value is not empty", prop.ForAll(
|
|
|
|
func(attrib hatmill.Attrib) bool {
|
|
|
|
expected := fmt.Sprintf("%s='%s'", attrib.Key, attrib.Value)
|
|
|
|
return checkWrite(attrib, expected)
|
2019-03-21 21:52:32 +00:00
|
|
|
},
|
2019-03-22 03:49:26 +00:00
|
|
|
attribGen.SuchThat(func(attrib interface{}) bool {
|
|
|
|
return attrib.(hatmill.Attrib).Value != ""
|
|
|
|
}),
|
2019-03-21 21:52:32 +00:00
|
|
|
))
|
|
|
|
|
|
|
|
properties.TestingRun(t)
|
|
|
|
}
|
2019-03-22 02:03:24 +00:00
|
|
|
|
|
|
|
func TestEmptyElement(t *testing.T) {
|
|
|
|
properties := gopter.NewProperties(nil)
|
|
|
|
|
|
|
|
properties.Property("WriteTo writes element correctly with no attributes", prop.ForAll(
|
|
|
|
func(tagName string) bool {
|
2019-03-29 02:18:25 +00:00
|
|
|
elem := &hatmill.VoidElement{
|
2019-03-22 02:03:24 +00:00
|
|
|
TagName: tagName,
|
|
|
|
}
|
|
|
|
expected := "<" + tagName + ">"
|
|
|
|
return checkWrite(elem, expected)
|
|
|
|
},
|
|
|
|
gen.AnyString(),
|
|
|
|
))
|
|
|
|
|
|
|
|
properties.Property("WriteTo writes element correctly with attributes", prop.ForAll(
|
2019-03-22 03:49:26 +00:00
|
|
|
func(tagName string, attribs []hatmill.Attrib) bool {
|
2019-03-29 02:18:25 +00:00
|
|
|
elem := hatmill.VoidElement{
|
2019-03-22 03:49:26 +00:00
|
|
|
TagName: tagName,
|
|
|
|
Attribs: attribs,
|
|
|
|
}
|
|
|
|
|
|
|
|
var attribStrings []string
|
|
|
|
for _, attrib := range attribs {
|
|
|
|
attribStrings = append(attribStrings, writeToString(attrib))
|
|
|
|
}
|
|
|
|
if len(attribStrings) > 0 {
|
|
|
|
attribStrings[0] = " " + attribStrings[0]
|
|
|
|
}
|
|
|
|
|
|
|
|
expected := "<" + tagName + strings.Join(attribStrings, " ") + ">"
|
|
|
|
return checkWrite(elem, expected)
|
|
|
|
},
|
|
|
|
gen.AnyString(),
|
|
|
|
gen.SliceOf(attribGen),
|
|
|
|
))
|
|
|
|
|
|
|
|
properties.TestingRun(t)
|
2019-03-22 02:03:24 +00:00
|
|
|
}
|
|
|
|
|
2019-03-22 03:31:24 +00:00
|
|
|
var htmlTextGen = gen.AnyString().Map(func(s string) hatmill.Term {
|
2019-03-22 03:49:26 +00:00
|
|
|
return hatmill.Text(s)
|
2019-03-22 02:03:24 +00:00
|
|
|
})
|
|
|
|
|
|
|
|
func TestParentElement(t *testing.T) {
|
2019-03-22 03:49:26 +00:00
|
|
|
properties := gopter.NewProperties(nil)
|
|
|
|
|
|
|
|
properties.Property("WriteTo writes element correctly without children", prop.ForAll(
|
|
|
|
func(tagName string, attribs []hatmill.Attrib) bool {
|
|
|
|
elem := &hatmill.ParentElement{
|
2019-03-29 02:18:25 +00:00
|
|
|
VoidElement: hatmill.VoidElement{
|
2019-03-22 03:49:26 +00:00
|
|
|
TagName: tagName,
|
|
|
|
Attribs: attribs,
|
|
|
|
},
|
|
|
|
}
|
|
|
|
|
2019-03-29 02:18:25 +00:00
|
|
|
openTag := writeToString(elem.VoidElement)
|
2019-03-22 03:49:26 +00:00
|
|
|
expected := openTag + "</" + tagName + ">"
|
|
|
|
return checkWrite(elem, expected)
|
|
|
|
},
|
|
|
|
gen.AnyString(),
|
|
|
|
gen.SliceOf(attribGen),
|
|
|
|
))
|
|
|
|
|
|
|
|
properties.Property("WriteTo writes element correctly with children", prop.ForAll(
|
|
|
|
func(tagName string, attribs []hatmill.Attrib, children []hatmill.Term) bool {
|
|
|
|
elem := &hatmill.ParentElement{
|
2019-03-29 02:18:25 +00:00
|
|
|
VoidElement: hatmill.VoidElement{
|
2019-03-22 03:49:26 +00:00
|
|
|
TagName: tagName,
|
|
|
|
Attribs: attribs,
|
|
|
|
},
|
|
|
|
Children: children,
|
|
|
|
}
|
|
|
|
|
2019-03-29 02:18:25 +00:00
|
|
|
openTag := writeToString(elem.VoidElement)
|
2019-03-22 03:49:26 +00:00
|
|
|
|
|
|
|
var childStrings []string
|
|
|
|
for _, child := range children {
|
|
|
|
childStrings = append(childStrings, writeToString(child))
|
|
|
|
}
|
|
|
|
|
|
|
|
expected := openTag + strings.Join(childStrings, "") + "</" + tagName + ">"
|
|
|
|
return checkWrite(elem, expected)
|
|
|
|
},
|
|
|
|
gen.AnyString(),
|
|
|
|
gen.SliceOf(attribGen),
|
|
|
|
gen.SliceOf(htmlTextGen),
|
|
|
|
))
|
|
|
|
|
|
|
|
properties.TestingRun(t)
|
2019-03-22 02:03:24 +00:00
|
|
|
}
|
2019-04-03 03:42:16 +00:00
|
|
|
|
|
|
|
func Example() {
|
2019-04-09 04:10:02 +00:00
|
|
|
userInput := "<script>launchMissiles();</script>"
|
2019-04-03 03:42:16 +00:00
|
|
|
|
2019-04-09 04:10:02 +00:00
|
|
|
document := he.Html()(
|
2019-04-09 03:52:26 +00:00
|
|
|
he.Head()(
|
|
|
|
he.Meta(ha.HttpEquiv("refresh"), ha.Content("5")),
|
|
|
|
),
|
2019-04-03 03:42:16 +00:00
|
|
|
he.Body()(
|
|
|
|
he.Div()(
|
|
|
|
he.Img(ha.Src("./me.jpg"), ha.Id("profile-photo")),
|
|
|
|
hatmill.Text(html.EscapeString(userInput)),
|
|
|
|
he.Div(ha.Disabled(), ha.CustomData("coolness", "awesome"))(),
|
|
|
|
),
|
|
|
|
),
|
|
|
|
)
|
|
|
|
hatmill.WriteDocument(os.Stdout, document)
|
2019-04-09 04:10:02 +00:00
|
|
|
// Output: <!DOCTYPE html><html><head><meta http-equiv='refresh' content='5'></head><body><div><img src='./me.jpg' id='profile-photo'><script>launchMissiles();</script><div disabled data-coolness='awesome'></div></div></body></html>
|
2019-04-03 03:42:16 +00:00
|
|
|
}
|