CoreActionType.java

CoreActionType.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.actions.CoreActionType(String, int, ActionMetaType, String)

Kind	Annotation Text
post	init'ed(this.name)
post	init'ed(this.type)
post	this.name == name
post	this.type == type

com.dmdirc.actions.CoreActionType__static_init

Kind	Annotation Text
post	$VALUES == &new CoreActionType[](CoreActionType __static_init#74)
post	$VALUES.length == 73
post	$VALUES[...] in Addr_Set{&new CoreActionType(CoreActionType__static_init#1), &new CoreActionType(CoreActionType__static_ init#2),&new CoreActionType(CoreActionType__sta tic_init#3),&new CoreActionType(CoreActionType_ _static_init#4),...
post	ACTION_CREATED == &new CoreActionType(CoreActio nType__static_init#71)
post	ACTION_CREATED.name == &"Action created"
post	ACTION_CREATED.type == &com.dmdirc.actions. metatypes.ActionEvents__static_init.new ActionEvents(ActionEvents__static_init#1)
post	ACTION_DELETED == &new CoreActionType(CoreActio nType__static_init#73)
post	ACTION_DELETED.name == &"Action deleted"
post	ACTION_DELETED.type == &com.dmdirc.actions. metatypes.ActionEvents__static_init.new ActionEvents(ActionEvents__static_init#4)
post	ACTION_UPDATED == &new CoreActionType(CoreActio nType__static_init#72)
post	ACTION_UPDATED.name == &"Action updated"
post	ACTION_UPDATED.type == &com.dmdirc.actions. metatypes.ActionEvents__static_init.new ActionEvents(ActionEvents__static_init#1)
post	CHANNEL_ACTION == &new CoreActionType(CoreActio nType__static_init#47)
post	CHANNEL_ACTION.name == &"Channel action received"
post	CHANNEL_ACTION.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#16)
post	CHANNEL_CLOSED == &new CoreActionType(CoreActio nType__static_init#41)
post	CHANNEL_CLOSED.name == &"Channel window closed"
post	CHANNEL_CLOSED.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#1)
post	CHANNEL_CTCP == &new CoreActionType(CoreActionT ype__static_init#49)
post	CHANNEL_CTCP.name == &"Channel CTCP received"
post	CHANNEL_CTCP.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#10)
post	CHANNEL_GOTNAMES == &new CoreActionType(CoreAct ionType__static_init#42)
post	CHANNEL_GOTNAMES.name == &"Channel names reply received"
post	CHANNEL_GOTNAMES.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#1)
post	CHANNEL_GOTTOPIC == &new CoreActionType(CoreAct ionType__static_init#43)
post	CHANNEL_GOTTOPIC.name == &"Channel topic received"
post	CHANNEL_GOTTOPIC.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#7)
post	CHANNEL_JOIN == &new CoreActionType(CoreActionT ype__static_init#50)
post	CHANNEL_JOIN.name == &"Someone joined a channel"
post	CHANNEL_JOIN.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#13)
post	CHANNEL_KICK == &new CoreActionType(CoreActionT ype__static_init#53)
post	CHANNEL_KICK.name == &"Someone kicked someone"
post	CHANNEL_KICK.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#19)
post	CHANNEL_MESSAGE == &new CoreActionType(CoreActi onType__static_init#46)
post	CHANNEL_MESSAGE.name == &"Channel message received"
post	CHANNEL_MESSAGE.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#16)
post	CHANNEL_MODECHANGE == &new CoreActionType(CoreA ctionType__static_init#57)
post	CHANNEL_MODECHANGE.name == &"Someone changed channel modes"
post	CHANNEL_MODECHANGE.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#16)
post	CHANNEL_MODESDISCOVERED == &new CoreActionType(CoreActionType__static_init#56)
post	CHANNEL_MODESDISCOVERED.name == &"Channel modes discovered"
post	CHANNEL_MODESDISCOVERED.type == &com.dmdirc. actions.metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#4)
post	CHANNEL_NICKCHANGE == &new CoreActionType(CoreA ctionType__static_init#59)
post	CHANNEL_NICKCHANGE.name == &"Someone changed nicknames"
post	CHANNEL_NICKCHANGE.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#16)
post	CHANNEL_NOTICE == &new CoreActionType(CoreActio nType__static_init#48)
post	CHANNEL_NOTICE.name == &"Channel notice received"
post	CHANNEL_NOTICE.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#16)
post	CHANNEL_OPENED == &new CoreActionType(CoreActio nType__static_init#40)
post	CHANNEL_OPENED.name == &"Channel window opened"
post	CHANNEL_OPENED.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#1)
post	CHANNEL_PART == &new CoreActionType(CoreActionT ype__static_init#51)
post	CHANNEL_PART.name == &"Someone left a channel"
post	CHANNEL_PART.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#16)
post	CHANNEL_QUIT == &new CoreActionType(CoreActionT ype__static_init#52)
post	CHANNEL_QUIT.name == &"Someone quit IRC"
post	CHANNEL_QUIT.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#16)
post	CHANNEL_SELF_ACTION == &new CoreActionType(Core ActionType__static_init#45)
post	CHANNEL_SELF_ACTION.name == &"Channel action sent"
post	CHANNEL_SELF_ACTION.type == &com.dmdirc. actions.metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#16)
post	CHANNEL_SELF_MESSAGE == &new CoreActionType(Cor eActionType__static_init#44)
post	CHANNEL_SELF_MESSAGE.name == &"Channel message sent"
post	CHANNEL_SELF_MESSAGE.type == &com.dmdirc. actions.metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#16)
post	CHANNEL_TOPICCHANGE == &new CoreActionType(Core ActionType__static_init#60)
post	CHANNEL_TOPICCHANGE.name == &"Someone changed channel topic"
post	CHANNEL_TOPICCHANGE.type == &com.dmdirc. actions.metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#16)
post	CHANNEL_USERAWAY == &new CoreActionType(CoreAct ionType__static_init#54)
post	CHANNEL_USERAWAY.name == &"Someone is marked as 'away'"
post	CHANNEL_USERAWAY.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#13)
post	CHANNEL_USERBACK == &new CoreActionType(CoreAct ionType__static_init#55)
post	CHANNEL_USERBACK.name == &"Someone is marked as 'back'"
post	CHANNEL_USERBACK.type == &com.dmdirc.actions. metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#13)
post	CHANNEL_USERMODECHANGE == &new CoreActionType(C oreActionType__static_init#58)
post	CHANNEL_USERMODECHANGE.name == &"Someone changed someone else's modes"
post	CHANNEL_USERMODECHANGE.type == &com.dmdirc. actions.metatypes.ChannelEvents__static_init.new ChannelEvents(ChannelEvents__static_init#19)
post	CLIENT_CLOSED == &new CoreActionType(CoreAction Type__static_init#2)
post	CLIENT_CLOSED.name == &"Client closed"
post	CLIENT_CLOSED.type == &com.dmdirc.actions. metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#1)
post	CLIENT_CLOSING == &new CoreActionType(CoreActio nType__static_init#3)
post	CLIENT_CLOSING.name == &"Client closing"
post	CLIENT_CLOSING.type == &com.dmdirc.actions. metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#1)
post	CLIENT_FRAME_CHANGED == &new CoreActionType(Cor eActionType__static_init#7)
post	CLIENT_FRAME_CHANGED.name == &"Frame changed"
post	CLIENT_FRAME_CHANGED.type == &com.dmdirc. actions.metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#4)
post	CLIENT_KEY_PRESSED == &new CoreActionType(CoreA ctionType__static_init#6)
post	CLIENT_KEY_PRESSED.name == &"Function key pressed"
post	CLIENT_KEY_PRESSED.type == &com.dmdirc.actions. metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#13)
post	CLIENT_LINE_ADDED == &new CoreActionType(CoreAc tionType__static_init#9)
post	CLIENT_LINE_ADDED.name == &"Line added to a window"
post	CLIENT_LINE_ADDED.type == &com.dmdirc.actions. metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#7)
post	CLIENT_MINIMISED == &new CoreActionType(CoreAct ionType__static_init#4)
post	CLIENT_MINIMISED.name == &"Client minimised"
post	CLIENT_MINIMISED.type == &com.dmdirc.actions. metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#1)
post	CLIENT_OPENED == &new CoreActionType(CoreAction Type__static_init#1)
post	CLIENT_OPENED.name == &"Client opened"
post	CLIENT_OPENED.type == &com.dmdirc.actions. metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#1)
post	CLIENT_POPUP_GENERATED == &new CoreActionType(C oreActionType__static_init#10)
post	CLIENT_POPUP_GENERATED.name == &"Popup menu generated"
post	CLIENT_POPUP_GENERATED.type == &com.dmdirc. actions.metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#10)
post	CLIENT_PREFS_CLOSED == &new CoreActionType(Core ActionType__static_init#13)
post	CLIENT_PREFS_CLOSED.name == &"Preferences dialog opened"
post	CLIENT_PREFS_CLOSED.type == &com.dmdirc. actions.metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#1)
post	CLIENT_PREFS_OPENED == &new CoreActionType(Core ActionType__static_init#12)
post	CLIENT_PREFS_OPENED.name == &"Preferences dialog opened"
post	CLIENT_PREFS_OPENED.type == &com.dmdirc. actions.metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#19)
post	CLIENT_STRING_STYLED == &new CoreActionType(Cor eActionType__static_init#11)
post	CLIENT_STRING_STYLED.name == &"String styled"
post	CLIENT_STRING_STYLED.type == &com.dmdirc. actions.metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#22)
post	CLIENT_UNMINIMISED == &new CoreActionType(CoreA ctionType__static_init#5)
post	CLIENT_UNMINIMISED.name == &"Client unminimised"
post	CLIENT_UNMINIMISED.type == &com.dmdirc.actions. metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#1)
post	CLIENT_USER_INPUT == &new CoreActionType(CoreAc tionType__static_init#8)
post	CLIENT_USER_INPUT.name == &"User input"
post	CLIENT_USER_INPUT.type == &com.dmdirc.actions. metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#16)
post	PLUGIN_LOADED == &new CoreActionType(CoreAction Type__static_init#69)
post	PLUGIN_LOADED.name == &"Plugin loaded"
post	PLUGIN_LOADED.type == &com.dmdirc.actions. metatypes.PluginEvents__static_init.new PluginEvents(PluginEvents__static_init#1)
post	PLUGIN_UNLOADED == &new CoreActionType(CoreActi onType__static_init#70)
post	PLUGIN_UNLOADED.name == &"Plugin unloaded"
post	PLUGIN_UNLOADED.type == &com.dmdirc.actions. metatypes.PluginEvents__static_init.new PluginEvents(PluginEvents__static_init#1)
post	QUERY_ACTION == &new CoreActionType(CoreActionT ype__static_init#64)
post	QUERY_ACTION.name == &"Private action received"
post	QUERY_ACTION.type == &com.dmdirc.actions. metatypes.QueryEvents__static_init.new QueryEvents(QueryEvents__static_init#4)
post	QUERY_CLOSED == &new CoreActionType(CoreActionT ype__static_init#62)
post	QUERY_CLOSED.name == &"Query window closed"
post	QUERY_CLOSED.type == &com.dmdirc.actions. metatypes.QueryEvents__static_init.new QueryEvents(QueryEvents__static_init#1)
post	QUERY_MESSAGE == &new CoreActionType(CoreAction Type__static_init#63)
post	QUERY_MESSAGE.name == &"Private message received"
post	QUERY_MESSAGE.type == &com.dmdirc.actions. metatypes.QueryEvents__static_init.new QueryEvents(QueryEvents__static_init#4)
post	QUERY_NICKCHANGE == &new CoreActionType(CoreAct ionType__static_init#68)
post	QUERY_NICKCHANGE.name == &"Query: user changed nicks"
post	QUERY_NICKCHANGE.type == &com.dmdirc.actions. metatypes.QueryEvents__static_init.new QueryEvents(QueryEvents__static_init#4)
post	QUERY_OPENED == &new CoreActionType(CoreActionT ype__static_init#61)
post	QUERY_OPENED.name == &"Query window opened"
post	QUERY_OPENED.type == &com.dmdirc.actions. metatypes.QueryEvents__static_init.new QueryEvents(QueryEvents__static_init#1)
post	QUERY_QUIT == &new CoreActionType(CoreActionTyp e__static_init#67)
post	QUERY_QUIT.name == &"Query: user quit"
post	QUERY_QUIT.type == &com.dmdirc.actions. metatypes.QueryEvents__static_init.new QueryEvents(QueryEvents__static_init#4)
post	QUERY_SELF_ACTION == &new CoreActionType(CoreAc tionType__static_init#66)
post	QUERY_SELF_ACTION.name == &"Private action sent"
post	QUERY_SELF_ACTION.type == &com.dmdirc.actions. metatypes.QueryEvents__static_init.new QueryEvents(QueryEvents__static_init#4)
post	QUERY_SELF_MESSAGE == &new CoreActionType(CoreA ctionType__static_init#65)
post	QUERY_SELF_MESSAGE.name == &"Private message sent"
post	QUERY_SELF_MESSAGE.type == &com.dmdirc.actions. metatypes.QueryEvents__static_init.new QueryEvents(QueryEvents__static_init#4)
post	SERVER_AUTHNOTICE == &new CoreActionType(CoreAc tionType__static_init#23)
post	SERVER_AUTHNOTICE.name == &"Received auth notice"
post	SERVER_AUTHNOTICE.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#7)
post	SERVER_AWAY == &new CoreActionType(CoreActionTy pe__static_init#21)
post	SERVER_AWAY.name == &"Marked as 'away'"
post	SERVER_AWAY.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#7)
post	SERVER_BACK == &new CoreActionType(CoreActionTy pe__static_init#20)
post	SERVER_BACK.name == &"Marked as 'back'"
post	SERVER_BACK.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#25)
post	SERVER_CONNECTED == &new CoreActionType(CoreAct ionType__static_init#16)
post	SERVER_CONNECTED.name == &"Server connected"
post	SERVER_CONNECTED.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#25)
post	SERVER_CONNECTERROR == &new CoreActionType(Core ActionType__static_init#18)
post	SERVER_CONNECTERROR.name == &"Server connection error"
post	SERVER_CONNECTERROR.type == &com.dmdirc. actions.metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#7)
post	SERVER_CONNECTING == &new CoreActionType(CoreAc tionType__static_init#17)
post	SERVER_CONNECTING.name == &"Server connecting"
post	SERVER_CONNECTING.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#25)
post	SERVER_CTCP == &new CoreActionType(CoreActionTy pe__static_init#26)
post	SERVER_CTCP.name == &"CTCP received"
post	SERVER_CTCP.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#16)
post	SERVER_CTCPR == &new CoreActionType(CoreActionT ype__static_init#27)
post	SERVER_CTCPR.name == &"CTCP reply received"
post	SERVER_CTCPR.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#16)
post	SERVER_DISCONNECTED == &new CoreActionType(Core ActionType__static_init#19)
post	SERVER_DISCONNECTED.name == &"Server disconnected"
post	SERVER_DISCONNECTED.type == &com.dmdirc. actions.metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#25)
post	SERVER_ERROR == &new CoreActionType(CoreActionT ype__static_init#22)
post	SERVER_ERROR.name == &"Server error"
post	SERVER_ERROR.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#7)
post	SERVER_GOTPING == &new CoreActionType(CoreActio nType__static_init#32)
post	SERVER_GOTPING.name == &"Received server ping reply"
post	SERVER_GOTPING.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#1)
post	SERVER_INVITERECEIVED == &new CoreActionType(Co reActionType__static_init#35)
post	SERVER_INVITERECEIVED.name == &"Invite received"
post	SERVER_INVITERECEIVED.type == &com.dmdirc. actions.metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#22)
post	SERVER_MOTDEND == &new CoreActionType(CoreActio nType__static_init#30)
post	SERVER_MOTDEND.name == &"End of MOTD received"
post	SERVER_MOTDEND.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#7)
post	SERVER_MOTDLINE == &new CoreActionType(CoreActi onType__static_init#31)
post	SERVER_MOTDLINE.name == &"MOTD line received"
post	SERVER_MOTDLINE.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#7)
post	SERVER_MOTDSTART == &new CoreActionType(CoreAct ionType__static_init#29)
post	SERVER_MOTDSTART.name == &"Start of MOTD received"
post	SERVER_MOTDSTART.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#7)
post	SERVER_NICKCHANGE == &new CoreActionType(CoreAc tionType__static_init#39)
post	SERVER_NICKCHANGE.name == &"My nickname changed"
post	SERVER_NICKCHANGE.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#10)
post	SERVER_NOPING == &new CoreActionType(CoreAction Type__static_init#33)
post	SERVER_NOPING.name == &"Missed server ping reply"
post	SERVER_NOPING.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#1)
post	SERVER_NOTICE == &new CoreActionType(CoreAction Type__static_init#28)
post	SERVER_NOTICE.name == &"Notice received"
post	SERVER_NOTICE.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#13)
post	SERVER_NUMERIC == &new CoreActionType(CoreActio nType__static_init#15)
post	SERVER_NUMERIC.name == &"Numeric event received"
post	SERVER_NUMERIC.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#4)
post	SERVER_PINGSENT == &new CoreActionType(CoreActi onType__static_init#34)
post	SERVER_PINGSENT.name == &"Ping request sent"
post	SERVER_PINGSENT.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#25)
post	SERVER_UNKNOWNNOTICE == &new CoreActionType(Cor eActionType__static_init#24)
post	SERVER_UNKNOWNNOTICE.name == &"Received unknown notice"
post	SERVER_UNKNOWNNOTICE.type == &com.dmdirc. actions.metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#19)
post	SERVER_USERMODES == &new CoreActionType(CoreAct ionType__static_init#25)
post	SERVER_USERMODES.name == &"User modes changed"
post	SERVER_USERMODES.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#13)
post	SERVER_WALLDESYNC == &new CoreActionType(CoreAc tionType__static_init#38)
post	SERVER_WALLDESYNC.name == &"Walldesync received"
post	SERVER_WALLDESYNC.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#13)
post	SERVER_WALLOPS == &new CoreActionType(CoreActio nType__static_init#36)
post	SERVER_WALLOPS.name == &"Wallop received"
post	SERVER_WALLOPS.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#13)
post	SERVER_WALLUSERS == &new CoreActionType(CoreAct ionType__static_init#37)
post	SERVER_WALLUSERS.name == &"Walluser received"
post	SERVER_WALLUSERS.type == &com.dmdirc.actions. metatypes.ServerEvents__static_init.new ServerEvents(ServerEvents__static_init#13)
post	UNKNOWN_COMMAND == &new CoreActionType(CoreActi onType__static_init#14)
post	UNKNOWN_COMMAND.name == &"Unknown command entered"
post	UNKNOWN_COMMAND.type == &com.dmdirc.actions. metatypes.ClientEvents__static_init.new ClientEvents(ClientEvents__static_init#25)
post	new CoreActionType(CoreActionType__static_init#1) num objects == 1
post	new CoreActionType(CoreActionType__static_init#10) num objects == 1
post	new CoreActionType(CoreActionType__static_init#11) num objects == 1
post	new CoreActionType(CoreActionType__static_init#12) num objects == 1
post	new CoreActionType(CoreActionType__static_init#13) num objects == 1
post	new CoreActionType(CoreActionType__static_init#14) num objects == 1
post	new CoreActionType(CoreActionType__static_init#15) num objects == 1
post	new CoreActionType(CoreActionType__static_init#16) num objects == 1
post	new CoreActionType(CoreActionType__static_init#17) num objects == 1
post	new CoreActionType(CoreActionType__static_init#18) num objects == 1
post	new CoreActionType(CoreActionType__static_init#19) num objects == 1
post	new CoreActionType(CoreActionType__static_init#2) num objects == 1
post	new CoreActionType(CoreActionType__static_init#20) num objects == 1
post	new CoreActionType(CoreActionType__static_init#21) num objects == 1
post	new CoreActionType(CoreActionType__static_init#22) num objects == 1
post	new CoreActionType(CoreActionType__static_init#23) num objects == 1
post	new CoreActionType(CoreActionType__static_init#24) num objects == 1
post	new CoreActionType(CoreActionType__static_init#25) num objects == 1
post	new CoreActionType(CoreActionType__static_init#26) num objects == 1
post	new CoreActionType(CoreActionType__static_init#27) num objects == 1
post	new CoreActionType(CoreActionType__static_init#28) num objects == 1
post	new CoreActionType(CoreActionType__static_init#29) num objects == 1
post	new CoreActionType(CoreActionType__static_init#3) num objects == 1
post	new CoreActionType(CoreActionType__static_init#30) num objects == 1
post	new CoreActionType(CoreActionType__static_init#31) num objects == 1
post	new CoreActionType(CoreActionType__static_init#32) num objects == 1
post	new CoreActionType(CoreActionType__static_init#33) num objects == 1
post	new CoreActionType(CoreActionType__static_init#34) num objects == 1
post	new CoreActionType(CoreActionType__static_init#35) num objects == 1
post	new CoreActionType(CoreActionType__static_init#36) num objects == 1
post	new CoreActionType(CoreActionType__static_init#37) num objects == 1
post	new CoreActionType(CoreActionType__static_init#38) num objects == 1
post	new CoreActionType(CoreActionType__static_init#39) num objects == 1
post	new CoreActionType(CoreActionType__static_init#4) num objects == 1
post	new CoreActionType(CoreActionType__static_init#40) num objects == 1
post	new CoreActionType(CoreActionType__static_init#41) num objects == 1
post	new CoreActionType(CoreActionType__static_init#42) num objects == 1
post	new CoreActionType(CoreActionType__static_init#43) num objects == 1
post	new CoreActionType(CoreActionType__static_init#44) num objects == 1
post	new CoreActionType(CoreActionType__static_init#45) num objects == 1
post	new CoreActionType(CoreActionType__static_init#46) num objects == 1
post	new CoreActionType(CoreActionType__static_init#47) num objects == 1
post	new CoreActionType(CoreActionType__static_init#48) num objects == 1
post	new CoreActionType(CoreActionType__static_init#49) num objects == 1
post	new CoreActionType(CoreActionType__static_init#5) num objects == 1
post	new CoreActionType(CoreActionType__static_init#50) num objects == 1
post	new CoreActionType(CoreActionType__static_init#51) num objects == 1
post	new CoreActionType(CoreActionType__static_init#52) num objects == 1
post	new CoreActionType(CoreActionType__static_init#53) num objects == 1
post	new CoreActionType(CoreActionType__static_init#54) num objects == 1
post	new CoreActionType(CoreActionType__static_init#55) num objects == 1
post	new CoreActionType(CoreActionType__static_init#56) num objects == 1
post	new CoreActionType(CoreActionType__static_init#57) num objects == 1
post	new CoreActionType(CoreActionType__static_init#58) num objects == 1
post	new CoreActionType(CoreActionType__static_init#59) num objects == 1
post	new CoreActionType(CoreActionType__static_init#6) num objects == 1
post	new CoreActionType(CoreActionType__static_init#60) num objects == 1
post	new CoreActionType(CoreActionType__static_init#61) num objects == 1
post	new CoreActionType(CoreActionType__static_init#62) num objects == 1
post	new CoreActionType(CoreActionType__static_init#63) num objects == 1
post	new CoreActionType(CoreActionType__static_init#64) num objects == 1
post	new CoreActionType(CoreActionType__static_init#65) num objects == 1
post	new CoreActionType(CoreActionType__static_init#66) num objects == 1
post	new CoreActionType(CoreActionType__static_init#67) num objects == 1
post	new CoreActionType(CoreActionType__static_init#68) num objects == 1
post	new CoreActionType(CoreActionType__static_init#69) num objects == 1
post	new CoreActionType(CoreActionType__static_init#7) num objects == 1
post	new CoreActionType(CoreActionType__static_init#70) num objects == 1
post	new CoreActionType(CoreActionType__static_init#71) num objects == 1
post	new CoreActionType(CoreActionType__static_init#72) num objects == 1
post	new CoreActionType(CoreActionType__static_init#73) num objects == 1
post	new CoreActionType(CoreActionType__static_init#8) num objects == 1
post	new CoreActionType(CoreActionType__static_init#9) num objects == 1
post	new CoreActionType[](CoreActionType__static_ init#74) num objects == 1
unanalyzed	call on java.lang.Enum

String getName()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.name

ActionMetaType getType()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.type

CoreActionType valueOf(String)

Kind	Annotation Text
post	init'ed(return_value)

CoreActionType[] values()

Kind	Annotation Text
pre	(soft) init'ed($VALUES[...])
post	new CoreActionType[](values#1) num objects == 1
post	return_value == &new CoreActionType[](values#1)
post	return_value.length == 73
post	return_value[...] == One-of{$VALUES[...], undefined}