Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/cuplv/thresher
/ functions
Functions
5,520 in github.com/cuplv/thresher
⨍
Functions
5,520
◇
Types & classes
949
↓ 4 callers
Method
getVisibleLimit
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1363
↓ 4 callers
Method
hasDefaultListener
()
src/edu/colorado/thresher/core/AndroidUtils.java:74
↓ 4 callers
Method
importFolder
Creates new folder and starts appending puzzles to this folder. @param name
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/importing/AbstractImportTask.java:153
↓ 4 callers
Method
importGame
Imports game. Game will be stored in folder, which was set by {@link #importFolder(String, boolean)} or {@link #appendToFolder(String)}. @param game
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/importing/AbstractImportTask.java:202
↓ 4 callers
Method
initializeSplitPaths
@param preds - predecessors of current execution block @param path - current path @return - list of paths branching off of current p
src/edu/colorado/thresher/core/PathSensitiveSymbolicExecutor.java:41
↓ 4 callers
Method
initializeStaticFieldsToDefaultValues
to be called after exiting class initializers; write default values to all static fields
src/edu/colorado/thresher/core/IQuery.java:215
↓ 4 callers
Method
insertFolder
Inserts new puzzle folder into the database. @param name Name of the folder. @param created Time of folder creation. @return
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/db/SudokuDatabase.java:220
↓ 4 callers
Method
isDispatchFeasible
can @param instr dispatch to @param callee from @param caller given our constraints? @return true if feasible, false otherwise
src/edu/colorado/thresher/core/IQuery.java:161
↓ 4 callers
Method
isFakeWorldClinit
(CGNode node, CallGraph cg)
src/edu/colorado/thresher/core/WALACFGUtil.java:630
↓ 4 callers
Method
isHideSpecialAccounts
()
apps/pldi13/K9Mail/src/com/fsck/k9/K9.java:911
↓ 4 callers
Method
isInputMethodViewCreated
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/inputmethod/InputMethod.java:69
↓ 4 callers
Method
isLocalVar
()
src/edu/colorado/thresher/core/ConcretePointerVariable.java:439
↓ 4 callers
Method
isNotifyNewMail
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:840
↓ 4 callers
Method
isOpen
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:686
↓ 4 callers
Method
isOpen
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/Pop3Store.java:290
↓ 4 callers
Method
isPointsToConstraint
()
src/edu/colorado/thresher/core/AtomicPathConstraint.java:433
↓ 4 callers
Method
isPushCapable
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Store.java:102
↓ 4 callers
Method
isSimple
()
src/edu/colorado/thresher/core/AtomicPathConstraint.java:417
↓ 4 callers
Method
loadMessageForView
(final Account account, final String folder, final String uid, final Messag
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:2671
↓ 4 callers
Method
logPathCount
(int numPaths)
src/edu/colorado/thresher/core/Logger.java:154
↓ 4 callers
Method
make
(Object key)
src/edu/colorado/thresher/core/ConcretePointerVariable.java:163
↓ 4 callers
Method
makeBranchPointKey
(SSAInstruction instr, SSACFG.BasicBlock blk, CGNode node)
src/edu/colorado/thresher/core/IBranchPoint.java:110
↓ 4 callers
Method
makeUnconditionalDependencyRule
(SSAInstruction instr, Object lhs, Object rhs, PointerStatement.EdgeType type, int lineId, int lineNum,
src/edu/colorado/thresher/core/Util.java:183
↓ 4 callers
Method
makeZeroOneContainerCFABuilder
(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope)
src/edu/colorado/thresher/core/FakeMapContextSelector.java:59
↓ 4 callers
Method
messageListStars
()
apps/pldi13/K9Mail/src/com/fsck/k9/K9.java:815
↓ 4 callers
Method
messageUidChanged
(Account account, String folder, String oldUid, String newUid)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingListener.java:148
↓ 4 callers
Method
messagesArrived
(Folder folder, List<Message> mess)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/PushReceiver.java:12
↓ 4 callers
Method
move
Move the specified messages to the specified folder. @param holders Never {@code null}. @param destination Never {@code null}.
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:2780
↓ 4 callers
Method
moveX
(int dir)
apps/pldi13/DroidLife/src/org/jtb/droidlife/DesignView.java:183
↓ 4 callers
Method
moveY
(int dir)
apps/pldi13/DroidLife/src/org/jtb/droidlife/DesignView.java:192
↓ 4 callers
Method
olderThan
(Date earliestDate)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Message.java:36
↓ 4 callers
Method
onChange
Notify CellCollection that something has changed.
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/Cell.java:276
↓ 4 callers
Method
onDelete
Called from UI thread when user select Delete
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageView.java:678
↓ 4 callers
Method
onDelete
@param holders Never {@code null}.
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:1172
↓ 4 callers
Method
onOpenAccount
Show that account's inbox or folder-list or return false if the account is not available. @param account the account to open ({@link SearchAccount} or
apps/pldi13/K9Mail/src/com/fsck/k9/activity/Accounts.java:469
↓ 4 callers
Method
onOpenFolder
(String folder)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:567
↓ 4 callers
Method
onRefresh
(final boolean forceRemote)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:438
↓ 4 callers
Method
onTouchEvent
(MotionEvent ev)
apps/pldi13/K9Mail/src/com/fsck/k9/view/ToggleScrollView.java:22
↓ 4 callers
Method
open
(OpenMode mode)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/WebDavStore.java:1156
↓ 4 callers
Method
openOrCreateDataspace
@param application @throws UnavailableStorageException
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LockableDatabase.java:367
↓ 4 callers
Method
populate
(Context context, Folder folder, Account account, int unreadCount)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderInfoHolder.java:69
↓ 4 callers
Method
populate
(final MessageInfoHolder target, final Message m, final FolderInfoHolder folder, fina
apps/pldi13/K9Mail/src/com/fsck/k9/helper/MessageHelper.java:46
↓ 4 callers
Method
pushCallStack
push the current state onto the call stack and set the state to the callee state @param callInstr - the call instr in the caller that forced
src/edu/colorado/thresher/core/IPathInfo.java:257
↓ 4 callers
Method
readTokens
(ImapResponse response)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapResponseParser.java:68
↓ 4 callers
Method
receiveCapabilities
(List<ImapResponse> responses)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:1828
↓ 4 callers
Method
refute
call to force refutation of path even when query is not explicitly contradictory for example, if we have some mechanism for summaries, we should call
src/edu/colorado/thresher/core/IPathInfo.java:642
↓ 4 callers
Method
remove
(String key)
apps/pldi13/K9Mail/src/com/fsck/k9/preferences/Storage.java:246
↓ 4 callers
Method
restoreState
(IMControlPanel controlPanel)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/inputmethod/IMControlPanelStatePersister.java:38
↓ 4 callers
Method
saveState
(IMControlPanel controlPanel)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/inputmethod/IMControlPanelStatePersister.java:24
↓ 4 callers
Method
search
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:925
↓ 4 callers
Method
searchLocalMessages
(SearchSpecification searchSpecification, final Message[] messages, final MessagingListener listener)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:614
↓ 4 callers
Method
seed
()
apps/pldi13/DroidLife/src/org/jtb/droidlife/GameActivity.java:271
↓ 4 callers
Method
sendMessage
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageCompose.java:1328
↓ 4 callers
Method
setBackgroundOps
(BACKGROUND_OPS backgroundOps)
apps/pldi13/K9Mail/src/com/fsck/k9/K9.java:655
↓ 4 callers
Method
setCompoundDrawablesAlpha
(TextView view, int alpha)
apps/pldi13/K9Mail/src/com/fsck/k9/helper/Utility.java:218
↓ 4 callers
Method
setDefaultAccount
(Account account)
apps/pldi13/K9Mail/src/com/fsck/k9/Preferences.java:161
↓ 4 callers
Method
setDeletePolicy
(int deletePolicy)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:852
↓ 4 callers
Method
setDisplayMode
(FolderMode aMode)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/ChooseFolder.java:204
↓ 4 callers
Method
setDraftsFolderName
(String draftsFolderName)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:879
↓ 4 callers
Method
setEditable
Sets whether cell can be edited. @param editable True, if cell should allow editing.
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/Cell.java:197
↓ 4 callers
Method
setEmail
(String email)
apps/pldi13/K9Mail/src/com/fsck/k9/Identity.java:26
↓ 4 callers
Method
setEncryptionKeys
(long keyIds[])
apps/pldi13/K9Mail/src/com/fsck/k9/crypto/PgpData.java:23
↓ 4 callers
Method
setFolderPushMode
(FolderMode pushMode)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:966
↓ 4 callers
Method
setLastChecked
(final long lastChecked)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1341
↓ 4 callers
Method
setName
(String name)
apps/pldi13/K9Mail/src/com/fsck/k9/Identity.java:18
↓ 4 callers
Method
setPushState
(final String pushState)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1393
↓ 4 callers
Method
setReadOnly
(boolean readonly)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/SudokuBoardView.java:245
↓ 4 callers
Method
setRecipients
(RecipientType type, Address[] addresses)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeMessage.java:177
↓ 4 callers
Method
setRing
Set the ringtone kill switch. Allow to disable ringtone without losing ringtone selection. @param ring <code>true</code> to allow ringtone
apps/pldi13/K9Mail/src/com/fsck/k9/NotificationSetting.java:40
↓ 4 callers
Method
setRingNotified
(boolean ringNotified)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:758
↓ 4 callers
Method
setRingtone
(String ringtoneUri)
apps/pldi13/K9Mail/src/com/fsck/k9/NotificationSetting.java:56
↓ 4 callers
Method
setSentFolderName
(String sentFolderName)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:891
↓ 4 callers
Method
setTrashFolderName
(String trashFolderName)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:899
↓ 4 callers
Method
setUid
(String uid)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/WebDavStore.java:2045
↓ 4 callers
Method
setVibrate
(boolean vibrate)
apps/pldi13/K9Mail/src/com/fsck/k9/NotificationSetting.java:80
↓ 4 callers
Method
shouldRing
@return <code>true</code> if ringtone is allowed to play, <code>false</code> otherwise.
apps/pldi13/K9Mail/src/com/fsck/k9/NotificationSetting.java:48
↓ 4 callers
Method
skipCall
(SSAInvokeInstruction instr, CallGraph cg, CGNode callee)
src/edu/colorado/thresher/core/IPathInfo.java:353
↓ 4 callers
Method
synchronizeMailboxFinished
(Account account, String folder, int totalMessagesInMailbox, int numNewMessages)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:4413
↓ 4 callers
Method
synthesizeInstanceOf
(TypeReference type)
src/edu/colorado/thresher/core/ClassSynthesizer.java:493
↓ 4 callers
Method
toIntArray
(String s)
apps/pldi13/DroidLife/src/org/jtb/droidlife/model/World.java:139
↓ 4 callers
Method
update
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/inputmethod/IMNumpad.java:202
↓ 4 callers
Method
updateEncryptLayout
Fill the encrypt layout with the latest data about signature key and encryption keys.
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageCompose.java:752
↓ 4 callers
Method
updateFrom
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageCompose.java:1671
↓ 4 callers
Method
updateList
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/FolderListActivity.java:363
↓ 4 callers
Method
updateSignature
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageCompose.java:1678
↓ 4 callers
Method
updateSudoku
Updates sudoku game in the database. @param sudoku
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/db/SudokuDatabase.java:443
↓ 4 callers
Method
useCompactLayouts
()
apps/pldi13/K9Mail/src/com/fsck/k9/K9.java:966
↓ 4 callers
Method
useVolumeKeysForNavigationEnabled
()
apps/pldi13/K9Mail/src/com/fsck/k9/K9.java:673
↓ 4 callers
Method
validate
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/SudokuGame.java:315
↓ 4 callers
Method
visitInvokeAsCallee
visit invoke instruction as callee (i.e. we are entering the call) @return - false if query is infeasible or path split, true otherwise
src/edu/colorado/thresher/core/BasicSymbolicExecutor.java:777
↓ 3 callers
Method
accountSizeChanged
(Account account, long oldSize, long newSize)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingListener.java:27
↓ 3 callers
Method
accountStatusChanged
(BaseAccount account, AccountStats stats)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingListener.java:24
↓ 3 callers
Method
acquireWakeLock
Acquires a WakeLock in a K9 standard way @param context @return AUTHOR chrisk
apps/pldi13/K9Mail/src/com/fsck/k9/service/CoreService.java:132
↓ 3 callers
Method
actionHandleAccount
(Context context, Account account, String initialFolder)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:211
↓ 3 callers
Method
actionHandleFolderIntent
(Context context, Account account, String folder)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:555
↓ 3 callers
Method
actionIncomingSettings
(Activity context, Account account, boolean makeDefault)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/setup/AccountSetupIncoming.java:73
↓ 3 callers
Method
actionPrefs
(Context context)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/setup/Prefs.java:123
↓ 3 callers
Method
actionReschedulePoll
(Context context, Integer wakeLockId)
apps/pldi13/K9Mail/src/com/fsck/k9/service/MailService.java:55
↓ 3 callers
Method
actionSettings
(Context context, Account account)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/setup/AccountSettings.java:173
↓ 3 callers
Method
addCell
(Cell cell)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/CellGroup.java:41
← previous
next →
701–800 of 5,520, ranked by callers