khei4 / ccffer Goto Github PK

View Code? Open in Web Editor NEW

0.0 1.0 0.0 4.14 MB

License: MIT License

Go 99.21% Makefile 0.79%

ccffer's Introduction

ccffer

Overview

ccffer (Corner Case Faker Fuzzer) is

Installation

Supported Go Versions

Only supports Go v1.18 and higher.

License and Terms

ccffer is licensed under the MIT

ccffer's People

Contributors

Watchers

ccffer's Issues

Generic関数を具体的な型で呼び出すテストコードを書く

templateをつかって

type X interface {
	~int | ~string
}

func F[T X](v T) {
	println(v + v)
	println(string(v))
	println(any(v).(int))
}

この関数に対して

package main_test

import "testing"

func TestF(t *testing.T) {
  F(42)
  F("42")
}

を作る

Review

気づいたことを書いていきます
文脈をわからずに書いているので、気に入ったら修正してもらえるといいと思います。

型のテーブルの形式

これで実際のGoの型が取れるか?
いちいちMatchをかくしかないのか

var TypeVals map[string][]string = map[string][]string{
	"bool":   {"true", "false"},
	"string": {"\"\""},
	"int":    {"0", "-(1 << 31) - 1", "1 << 31"},
	"int64":  {"0", "-(1 << 63) - 1", "1 << 63"},
	"uint":   {"0", "^uint(0)"},
	// TODO: import math library by formatting test
	// "float32": []string{"0", "math.NaN()", "math.Inf(0)", "math.Inf(-1)"},
}

pointer型にnil

Interfaceへも対応

静的解析して得た関数のデータを, コード生成用のデータに詰める

Genericな関数に対して
- 型パラメータと, その制約の一覧を取得
  - 満たす型を一通り残す
  - 組み合わせ的に関数呼び出しをする
[ ]

パラメータ入りのASTをパラメータを含まないASTに変換できる?

types.Instantiateはあるけど, astはInstantiateできない??

関数定義, 構造体定義のリストを作る

とりあえず単一のソースの中にある関数の定義のリストと構造体定義のリストを作る

普通の関数

package main

import (
	"fmt"
)

func SignleArg(a int) {
	fmt.Print(a)
}
func SignleRes() int {
	return 42
}
func NamedRes() (g int) {
	g = 42
	return
}

func main() {
	SignleArg(13)
	_ = SignleRes()
	_ = NamedRes()
}

構造体と関数

package main

type (
	A struct {
		X int
	}
	B struct {
		Y int
	}
	C interface {
		C()
	}
)

func StructF(a A) B {
	return B{a.X}
}

func main() {
	_ = StructF(A{})
}

Genericな関数

package main

func SignleTypeParam[T any](a T) T {
	return a
}

func TypeConstraint1[T comparable](a, b T) bool {
	return a == b
}

func main() {
	SignleTypeParam("hoge")
	SignleTypeParam(13)
	TypeConstraint1(1, 2)
	TypeConstraint1("1,2", "2,3")
}