stanford-oval / genie-toolkit / 779

pending completion

Build # 779

Build Type

Pull #145

travis-ci-com

Committed by

web-flow

Commit Message

Merge b1b31aad1 into 980c444af

Pull Request Pull Request #145: Inference mode dialogue templates

Run Details

1372 of 4945 branches covered (27.75%)

Branch coverage included in aggregate %.

101 of 403 new or added lines in 17 files covered. (25.06%)

5 existing lines in 3 files now uncovered.

4147 of 9930 relevant lines covered (41.76%)

8402.8 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

24.32

/languages/thingtalk/utils.js

// -*- mode: js; indent-tabs-mode: nil; js-basic-offset: 4 -*-
//
// This file is part of Genie
//
// Copyright 2015-2020 The Board of Trustees of the Leland Stanford Junior University
//           2019 National Taiwan University
//
// Author: Giovanni Campagna <gcampagn@cs.stanford.edu>
//         Elvis Yu-Jing Lin <r06922068@ntu.edu.tw> <elvisyjlin@gmail.com>
//
// See COPYING for details
"use strict";

const assert = require('assert');
const ThingTalk = require('thingtalk');
const Ast = ThingTalk.Ast;
const Type = ThingTalk.Type;

function typeToStringSafe(type) {
    if (type.isArray)
        return 'Array__' + typeToStringSafe(type.elem);
    else if (type.isEntity)
        return 'Entity__' + type.type.replace(':', '__');
    else if (type.isMeasure)
        return 'Measure_' + type.unit;
    else if (type.isEnum)
        return 'Enum__' + type.entries.join('__');
    else
        return String(type);
}

function clean(name) {
    if (/^[vwgp]_/.test(name))
        name = name.substr(2);
    return name.replace(/_/g, ' ').replace(/([^A-Z ])([A-Z])/g, '$1 $2').toLowerCase();
}


function makeFilter(loader, pname, op, value, negate = false) {
    assert(pname instanceof Ast.Value.VarRef);
    let vtype = value.getType();
    let ptype = vtype;
    if (ptype.isEntity && ptype.type === 'tt:url')
        return null;
    if (op === 'contains') {
        ptype = Type.Array(vtype);
        if (vtype.isString)
            op = 'contains~';
    } else if (op === '==' && vtype.isString) {
        op = '=~';
    }
    if (!loader.params.out.has(pname.name + '+' + ptype) && pname.name !== 'id')
        return null;
    if (loader.flags.turking && value.isEnum)
        return null;

    let f = new Ast.BooleanExpression.Atom(null, pname.name, op, value);
    if (negate)
        return new Ast.BooleanExpression.Not(null, f);
    else
        return f;
}

function makeAndFilter(loader, param, op, values, negate=false) {
    if (values.length !== 2)
        return null;
    if (values[0].name === values[1].name)
        return null;
    const operands  = values.map((v) => makeFilter(loader, param, op, v));
    if (operands.includes(null))
        return null;
    const f = new Ast.BooleanExpression.And(null, operands);
    if (negate)
        return new Ast.BooleanExpression.Not(null, f);
    return f;
}

module.exports = {
    clean,

    isUnaryTableToTableOp(table) {
        return table.isFilter ||
            table.isProjection ||
            table.isCompute ||
            table.isAlias ||
            table.isSort ||
            table.isIndex ||
            table.isSlice ||
            table.isAggregation ||
            table.isSequence ||
            table.isHistory;
    },
    isUnaryStreamToTableOp(table) {
        return table.isWindow || table.isTimeSeries;
    },
    isUnaryStreamToStreamOp(stream) {
        return stream.isEdgeNew ||
            stream.isEdgeFilter ||
            stream.isFilter ||
            stream.isProjection ||
            stream.isCompute ||
            stream.isAlias;
    },
    isUnaryTableToStreamOp(stream) {
        return stream.isMonitor;
    },

    typeToStringSafe,
    makeFilter,
    makeAndFilter,
};

1	// -- mode: js; indent-tabs-mode: nil; js-basic-offset: 4 --
2	//
3	// This file is part of Genie
4	//
5	// Copyright 2015-2020 The Board of Trustees of the Leland Stanford Junior University
6	// 2019 National Taiwan University
7	//
8	// Author: Giovanni Campagna <gcampagn@cs.stanford.edu>
9	// Elvis Yu-Jing Lin <r06922068@ntu.edu.tw> <elvisyjlin@gmail.com>
10	//
11	// See COPYING for details
12	"use strict";
13
14	const assert = require('assert');	1✔
15	const ThingTalk = require('thingtalk');	1✔
16	const Ast = ThingTalk.Ast;	1✔
17	const Type = ThingTalk.Type;	1✔
18
19	function typeToStringSafe(type) {
20	if (type.isArray)	2,869✔
21	return 'Array__' + typeToStringSafe(type.elem);	22✔
22	else if (type.isEntity)	2,847✔
23	return 'Entity__' + type.type.replace(':', '__');	927✔
24	else if (type.isMeasure)	1,920✔
25	return 'Measure_' + type.unit;	108✔
26	else if (type.isEnum)	1,812✔
27	return 'Enum__' + type.entries.join('__');	278✔
28	else
29	return String(type);	1,534✔
30	}
31
32	function clean(name) {
33	if (/^[vwgp]_/.test(name))	914✔
34	name = name.substr(2);	716✔
35	return name.replace(/_/g, ' ').replace(/([^A-Z ])([A-Z])/g, '$1 $2').toLowerCase();	914✔
36	}
37
38
39	function makeFilter(loader, pname, op, value, negate = false) {	×
40	assert(pname instanceof Ast.Value.VarRef);	×
41	let vtype = value.getType();	×
42	let ptype = vtype;	×
43	if (ptype.isEntity && ptype.type === 'tt:url')	×
44	return null;	×
45	if (op === 'contains') {	×
46	ptype = Type.Array(vtype);	×
47	if (vtype.isString)	×
48	op = 'contains~';	×
49	} else if (op === '==' && vtype.isString) {	×
50	op = '=~';	×
51	}
NEW 52	if (!loader.params.out.has(pname.name + '+' + ptype) && pname.name !== 'id')	×
53	return null;	×
54	if (loader.flags.turking && value.isEnum)	×
55	return null;	×
56
57	let f = new Ast.BooleanExpression.Atom(null, pname.name, op, value);	×
58	if (negate)	×
59	return new Ast.BooleanExpression.Not(null, f);	×
60	else
61	return f;	×
62	}
63
64	function makeAndFilter(loader, param, op, values, negate=false) {	×
65	if (values.length !== 2)	×
66	return null;	×
67	if (values[0].name === values[1].name)	×
68	return null;	×
69	const operands = values.map((v) => makeFilter(loader, param, op, v));	×
70	if (operands.includes(null))	×
71	return null;	×
72	const f = new Ast.BooleanExpression.And(null, operands);	×
73	if (negate)	×
74	return new Ast.BooleanExpression.Not(null, f);	×
75	return f;	×
76	}
77
78	module.exports = {	1✔
79	clean,
80
81	isUnaryTableToTableOp(table) {
82	return table.isFilter \|\|	×
83	table.isProjection \|\|
84	table.isCompute \|\|
85	table.isAlias \|\|
86	table.isSort \|\|
87	table.isIndex \|\|
88	table.isSlice \|\|
89	table.isAggregation \|\|
90	table.isSequence \|\|
91	table.isHistory;
92	},
93	isUnaryStreamToTableOp(table) {
94	return table.isWindow \|\| table.isTimeSeries;	×
95	},
96	isUnaryStreamToStreamOp(stream) {
97	return stream.isEdgeNew \|\|	×
98	stream.isEdgeFilter \|\|
99	stream.isFilter \|\|
100	stream.isProjection \|\|
101	stream.isCompute \|\|
102	stream.isAlias;
103	},
104	isUnaryTableToStreamOp(stream) {
105	return stream.isMonitor;	×
106	},
107
108	typeToStringSafe,
109	makeFilter,
110	makeAndFilter,
111	};

stanford-oval / genie-toolkit / 779

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous