func nativeSetCursor(d dynamics.Dwimmer, s *term.SettingT, xt, yt term.T) term.T { x, err := represent.ToInt(d, xt) if err != nil { return term.Make("asked to move cursor, but received [] "+ "while converting coordinate [] to an integer").T(err, xt) } y, err := represent.ToInt(d, yt) if err != nil { return term.Make("asked to move cursor, but received [] "+ "while converting coordinate [] to an integer").T(err, yt) } d.SetCursor(x, y) return core.OK.T() }
func nativePutChar(d dynamics.Dwimmer, s *term.SettingT, char, xt, yt term.T) term.T { c, err := represent.ToRune(d, char) if err != nil { return term.Make("asked to write character, but received [] " + "while converting to a character").T(err) } x, err := represent.ToInt(d, xt) if err != nil { return term.Make("asked to write character, but received [] "+ "while converting coordinate [] to an integer").T(err, xt) } y, err := represent.ToInt(d, yt) if err != nil { return term.Make("asked to write character, but received [] "+ "while converting coordinate [] to an integer").T(err, yt) } d.SetCursor(x, y) d.PrintCh(c) return core.OK.T() }
func settingFromID(d dynamics.Dwimmer, s *term.SettingT, quotedID term.T) term.T { id, err := represent.ToInt(d, quotedID) if err != nil { return represent.ConversionError.T(quotedID, err) } setting, ok := term.ToSetting(term.SettingID(id)) if ok { return core.Answer.T(represent.Setting(setting)) } else { return NoSetting.T() } }
func getChar(d dynamics.Dwimmer, s *term.SettingT, quotedN, quotedS term.T) term.T { n, err := represent.ToInt(d, quotedN) if err != nil { return term.Make("asked to index into a string, but received " + "[] while converting the index to native format").T(err) } str, err := represent.ToStr(d, quotedS) if err != nil { return term.Make("asked to index into a string, but received " + "[] while converting the string to native format").T(err) } return core.Answer.T(represent.Rune(rune(str[n]))) }
func nativeSuggestedActions(d dynamics.Dwimmer, context *term.SettingT, quotedSetting, quotedN term.T) term.T { setting, err := represent.ToSetting(d, quotedSetting) if err != nil { return term.Make("was asked to generate suggestions in setting [], "+ "but received [] while converting it to native form").T(quotedSetting, err) } n, err := represent.ToInt(d, quotedN) if err != nil { return term.Make("was asked to generate [] suggestions, "+ "but received [] while converting it to native form").T(quotedN, err) } suggestions, _ := Suggestions(d, setting, n) quotedSuggestions := make([]term.T, len(suggestions)) for i, suggestion := range suggestions { quotedSuggestions[i] = represent.ActionC(suggestion) } return core.Answer.T(represent.List(quotedSuggestions)) }
func TestRepresentations(t *testing.T) { d := dwimmer.TestDwimmer() defer d.Close() template := term.Make("term with argument [] and second half here") template2, err := represent.ToTemplate(d, represent.Template(template)) if err != nil { t.Errorf("received error %v", err) } if template != template2 { t.Errorf("%v != %v", template, template2) } setting := term.Init().Append(template) setting2, err := represent.ToSetting(d, represent.Setting(setting)) if err != nil { t.Errorf("received error %v", err) } if term.IDSetting(setting) != term.IDSetting(setting2) { t.Errorf("%v != %v", setting, setting2) } actions := []term.ActionC{term.ReturnC(term.Cr(3)), term.ClarifyC(term.Cr(2), core.OK.C()), term.DeleteC(7)} for _, action := range actions { action2, err := represent.ToActionC(d, represent.ActionC(action)) if err != nil { t.Errorf("received error %v", err) } if term.IDActionC(action) != term.IDActionC(action2) { t.Errorf("%v != %v", action, action2) } } stub := term.Make("stub") tm := template.T(stub.T()) tm2, err := represent.ToT(d, represent.T(tm)) if err != nil { t.Errorf("received error %v", err) } if tm2.String() != tm.String() { t.Errorf("%v != %v", tm2, tm) } rep, err := d.Answer(represent.Explicit.T(represent.T(tm))) if err != nil { t.Errorf("failed to make representation explicit: %v", err) } tm3, err := represent.ToT(d, rep) if err != nil { t.Errorf("received error %v", err) } if tm3.String() != tm.String() { t.Errorf("%v != %v", tm3, tm) } settingT := term.InitT().AppendTerm(tm) settingT2, err := represent.ToSettingT(d, represent.SettingT(settingT)) if err != nil { t.Errorf("received error %v") } if settingT2.Setting.ID != settingT.Setting.ID { t.Errorf("%v != %v", settingT2, settingT) } n := -127 n2, err := represent.ToInt(d, represent.Int(n)) if err != nil { t.Errorf("received error %v", err) } if n != n2 { t.Errorf("%v != %v", n, n2) } s := "hello ₳" s2, err := represent.ToStr(d, represent.Str(s)) if err != nil { t.Errorf("received error %v", err) } if s != s2 { t.Errorf("%s != %s", s, s2) } }