innerhtml(user,X) :- myname(N) & matches(N,"^(.)",X)
style(user,display,"") :- someuser
style(user,display,"none") :- ~someuser
someuser :- worksheetuser(X)

message(u(J,F,N,T),dashboard) & parseid(F,X) & datestyle(T,Date) ==> true(name(X,N),list) & true(modified(X,Date),list)
message(u(J,F,N,T),dashboard) & parseid(F,X) & true(name(X,Name),list) ==> ~true(name(X,Name),list)
message(u(J,F,N,T),dashboard) & parseid(F,X) & true(modified(X,Date),list) ==> ~true(modified(X,Date),list)

% File has been deleted recreate it
message(u(J,F,N,T),dashboard) & parseid(F,X) & ~true(file(X),list) & datestyle(T,Date) ==> true(file(X),list) & true(created(X,Date),list) & true(shared(X,0),list) & true(jurisdiction(X,J),list)

parseid(X,Z) :- stringify(X,F) & matches(F,"/([^/]+)$",Y) & symbolize(Y,Z)

load & datasetsrc(C) ==> source(list,C)
load & channelsrc(C) ==> source(dashboard,C)
channelsrc(C) :- worksheetuser(X) & stringappend("dashboard/",X,C)
datasetsrc(C) :- worksheetuser(X) & stringappend(X,"/",dir,C)

click(addfile) ==> fileopen
resetfile ==> ~fileopen

click(viewanalytics) ==> analyticsshown
click(closeanalytics) ==> ~analyticsshown

select(city,X) ==> city(X)
select(city,X) & city(Y) ==> ~city(Y)

value(city,X) :- city(X)


style(analytics,display,"") :- analyticsshown
style(analytics,display,"none") :- ~analyticsshown

nextfile(F) :- fileid(F) 
%nextfile(F) :- setofall(X,true(file(X),list),S) & maximum(0!S,N) & plus(N,1,F)

click(savefilename) & jurisdiction(J) & nextfile(F) & createdate(Date) & newname(Name) ==> true(file(F),list) & true(name(F,Name),list) & true(jurisdiction(F,J),list) & true(created(F,Date),list) & true(modified(F,Date),list) & true(shared(F,0),list)

click(share(X)) & true(shared(X,0),list) ==> true(shared(X,1),list) & ~true(shared(X,0),list)
click(share(X)) & true(shared(X,1),list) ==> true(shared(X,0),list) & ~true(shared(X,1),list)

click(delete(N)) & true(file(N),list) ==> ~true(file(N),list)
click(delete(N)) & true(name(N,D),list) ==> ~true(name(N,D),list)
click(delete(N)) & true(created(N,D),list) ==> ~true(created(N,D),list)
click(delete(N)) & true(modified(N,D),list) ==> ~true(modified(N,D),list)
click(delete(N)) & true(jurisdiction(N,D),list) ==> ~true(jurisdiction(N,D),list)
click(delete(N)) & true(shared(N,D),list) ==> ~true(shared(N,D),list)


attribute(file,sorted,"") :- ~somesorted
attribute(file,sorted,Y) :- sorted(N,X) & stringappend("[",N,",",X,"]",Y)

sorttable(N) & sorted(N,X) & times(-1,X,Y) ==> sorted(N,Y) & ~sorted(N,X)
sorttable(N) & ~sortedby(N) ==> sorted(N,1)
sorttable(N) & sorted(M,X) ==> ~sorted(M,X)
sortedby(N) :- sorted(N,X)
somesorted :- sorted(N,X)

newname("Untitled")

createdate(Date) :- timestamp(T) & datestyle1(T,Date)
datestyle(T,Date) :- formattimestamp(T,time(Y,M1,D1,HR,MN,SC)) & plus(M1,1,M2) & strpad(M2,M) & strpad(D1,D) & stringappend(Y,"-",M,"-",D,Date)
datestyle1(T,Date) :- formattimestamp(T,time(Y,M1,D1,HR,MN,SC)) & plus(M1,1,M2) & strpad(M2,M) & strpad(D1,D) & stringappend(Y,"-",M,"-",D,Date)


file(X,X,X,X,X) :- true(file(X),list)

namestyle(X,Y) :- true(name(X,Name),list) & stringappend("<span onclick='openmenu(this,event)' data='",X,"'>",Name,"</span>",Y)
jurisdictionstyle(X,Y) :- true(jurisdiction(X,J),list) & jurisdictionname(J,JN) & stringappend("<span onclick='openmenu(this,event)' data='",X,"'>",JN,"</span>",Y)
modifieddatestyle(X,Y) :- true(modified(X,D),list) & stringappend("<span onclick='openmenu(this,event)' data='",X,"'>",D,"</span>",Y)
createddatestyle(X,Y) :- true(created(X,D),list) & stringappend("<span onclick='openmenu(this,event)' data='",X,"'>",D,"</span>",Y)
sharedstyle(X,"<span>–</span>") :- true(shared(X,0),list)
sharedstyle(X,Y) :- true(shared(X,1),list) & stringappend("<a id='link(",X,")' target='_blank'>link</a>",Y)

%attribute(link(X),href,HREF) :- true(jurisdiction(X,J),list) & sharelink(X,D) & stringappend("view.php?folder=buildplus&sheet=",J,"&anchor=",D,HREF)
%stringappend("/",J,"/",)
attribute(link(X),href,HREF) :- true(jurisdiction(X,J),list) & sharelink(X,D) & stringappend("/",J,"/",D,HREF)


select(jurisdiction,X) ==> jurisdiction(X)
select(jurisdiction,X) & jurisdiction(Y) ==> ~jurisdiction(Y)
resetfile & jurisdiction(Y) ==> ~jurisdiction(Y)

somejurisdiction :- jurisdiction(Y)

resetfile :- click(cancelfilename)
resetfile :- click(savefilename)

value(jurisdiction,X) :- jurisdiction(X)

attribute(overlay,class,"buildplus-overlay shown") :- showoverlay
attribute(overlay,class,"buildplus-overlay notshown") :- ~showoverlay

style(filesection,display,"") :- fileopen
style(filesection,display,"none") :- ~fileopen

attribute(savefilename,class,"buildplus-button add-icon disabled") :- ~somejurisdiction
attribute(savefilename,class,"buildplus-button add-icon active") :- somejurisdiction

showoverlay :- fileopen
showoverlay :- analyticsshown

jurisdictionname(losangeles,"Los Angeles")
jurisdictionname(fontana,"Fontana")
jurisdictionname(milpitas,"Milpitas")
jurisdictionname(pacifica,"Pacifica")
jurisdictionname(sanmateocounty,"San Mateo County")
jurisdictionname(sanfrancisco,"San Francisco")
jurisdictionname(sanjose,"San Jose")
jurisdictionname(redwoodcity,"Redwood City")
jurisdictionname(orinda,"Orinda")
jurisdictionname(sanmateo,"San Mateo")
jurisdictionname(sacramento,"Sacramento")
jurisdictionname(menlopark,"Menlo Park")
jurisdictionname(eastpaloalto,"East Palo Alto")