Skip to content

Instantly share code, notes, and snippets.

@jpertino
jpertino / init.gradle
Created February 7, 2011 20:38
override gradle project repositories in init script
projectsEvaluated {
rootProject.allprojects {
buildscript.repositories {
resolverNames = []
mavenRepo name: 'plugins-repo', urls: 'http://repository.example.org/plugins'
}
repositories {
resolverNames = []
mavenRepo name: 'libs-repo', urls: 'http://repository.example.org/libs'
class Machine {
def states, accept, initialState, sigma, blank, gamma
def transitions = [:].withDefault{[:]}
def validate() {
def actions = transitions.values()*.values()
def usedchars = transitions.values()*.keySet().sum() + actions.write.sum()
assert states.containsAll(transitions.keySet() + actions.newState.sum()),
"transitions should only contain known states"