martinsson

	tenantID, err1 := store.GetParameter("TENANT_ID")
	clientID, err2 := store.GetParameter("CLIENT_ID")
	clientSecret, err3 := store.GetParameter("CLIENT_SECRET")

	globalErr := multierr.Combine(err1, err2, err3)
	return connection{
		tenantID,
		clientID,
		clientSecret,
	}, globalErr

martinsson

	tenantID, err1 := store.GetParameter("TENANT_ID")
	clientID, err2 := store.GetParameter("CLIENT_ID")
	clientSecret, err3 := store.GetParameter("CLIENT_SECRET")
	
        globalErr := multierr.Combine(err1, err2, err3)
	if globalErr != nil {
		fmt.Print(globalErr)
		return nil, globalErr
	}

martinsson

func createConnection(store Store) (Connection, error) {

	tenantID, err := store.GetParameter("TENANT_ID")
	if err != nil {
		fmt.Print("Unable to get TENANT_ID from parameter store")
		return nil, err
	}
	clientID, err := store.GetParameter("CLIENT_ID")
	if err != nil {
		fmt.Print("Unable to get CLIENT_ID from parameter store")

martinsson

    // this method is fakable
    public String getTranslation(String key, Locale locale) {
        return getTranslationOld(key, locale);
    }

    /**
     * @deprecated use instance method instead
     */
    public static String getTranslationOld(String key, Locale locale) {
        Object keys = getTranslationMap().get(locale.toString());

martinsson

public class LazyInitialiserDependency {

    private static Map<String, Object> translationMap;

    // no more static initaliser, the class is mockable, though we'll have to go further by
    // adding a version of getTranslation as an instance method if we want to mock it

    // this static method is called by the class you'd like to test
    public static String getTranslation(String key, Locale locale) {

martinsson

public class UnTestableDependency {

    private static Map<String, Object> translationMap;

    static {
        translationMap = HibernateUtil.executeQuery("Select ...");
    }

    // this static method is called by the class you'd like to test

martinsson

    private static Map<String, Object> translationMap;

    static {
        translationMap = HibernateUtil.executeQuery("Select ...");
    }

martinsson

||| the type Fizzbuzz is just an alias for the tuple of FizzT and BuzzT
Fizzbuzz: Nat -> Type
Fizzbuzz n = (FizzT n, BuzzT n)

martinsson

||| proof that k is divisible by 3, can only be called when the compiler can verify it
IsFizz : (k : Nat) -> Type
IsFizz k = (modNatNZ k 3 SIsNotZ = 0)   -- modNatNZ is modulos for natural numbers except for 0. 
-- SIsNotZ is also a proof about k in this case. Compiler will fail if k is not greater than 0

IsBuzz : Nat -> Type
IsBuzz k = (modNatNZ k 5 SIsNotZ = 0)

||| There are four constructors : Fizz, Buzz, FizzBuzz, and Normal. 

martinsson

data Fizzbuzz : (k: Nat) -> Type where
  Fizz : (k: Nat) -> IsFizz k -> Not (IsBuzz k) -> Fizzbuzz k