This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@doc{an alternative to Offside.rsc which directly uses * lists instead of manual recursion} | |
module ListOffside | |
import IO; | |
start syntax Program = program: Def*; | |
lexical Id = [a-z]+; | |
syntax Def |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module TestRecovery | |
extend lang::pico::\syntax::Main; | |
import util::IDE; | |
import ParseTree; | |
import IO; | |
public map[Production robust, CharClass lookaheads] robust | |
= (p:[range(10,10),range(59,59)] | /p:prod(label(_,sort("Statement")),_,_) := #Statement) | |
+ (p:[range(10,10),range(59,59),range(44,44)] | /p:prod(label(_,sort("IdType")),_,_) := #IdType); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module AR | |
import lang::java::jdt::JDT; // this module provides the API for extracting Java models | |
import lang::java::jdt::Java; // this module provides the model for Java | |
import Relation; // a stdlib module with practical API on relations | |
// these modules are needed to visualize graphs in the IDE | |
import vis::Figure; | |
import vis::Render; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#! /bin/sh | |
set -e | |
repo=$1 | |
mkdir ${repo} | |
cd ${repo} | |
echo "Creating repo on github" | |
curl -u 'jurgenvinju' https://api.github.com/orgs/impulse-org/repos -d "{\"name\":\"${repo}\",\"has_wiki\": false,\"has_issues\": false}" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
h1, | |
h2, | |
h3, | |
h4, | |
h5, | |
h6, | |
p, | |
blockquote { | |
margin: 0; | |
padding: 0; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module FlowGraphsAndClassDiagrams | |
import analysis::flow::ObjectFlow; | |
import lang::java::flow::JavaToObjectFlow; | |
import List; | |
import Relation; | |
import lang::java::m3::Core; | |
import IO; | |
import vis::Figure; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\documentclass[twoside,a4]{article} | |
\usepackage{geometry} | |
\geometry{ | |
a4paper, | |
total={210mm,297mm}, | |
left=1in, | |
right=1in, | |
top=1.2in, | |
bottom=20mm, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@doc{ | |
Synopsis: mapping all of Java to the object flow language | |
Description: | |
More information can be found in [ObjectFlow]. | |
} | |
module lang::java::flow::JavaToObjectFlow2 | |
import IO; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module lang::rascal::grammar::analyze::Recursion | |
import Grammar; | |
import ParseTree; | |
import analysis::grammars::Dependency; | |
import Relation; | |
set[Symbol] reachable(type[&T] g, Symbol s) { | |
res = {s}; | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module analysis::learning::KMeans | |
import util::Math; | |
import List; | |
import Set; | |
import IO; | |
data Point = point(list[real] vec); | |
Point arbPoint(int d) = point([arbReal() | _ <- [0..d]]); |
OlderNewer