MCPcopy Create free account

hub / github.com/cuplv/thresher / functions

Functions5,520 in github.com/cuplv/thresher

↓ 4 callersMethodgetVisibleLimit
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1363
↓ 4 callersMethodhasDefaultListener
()
src/edu/colorado/thresher/core/AndroidUtils.java:74
↓ 4 callersMethodimportFolder
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 callersMethodimportGame
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 callersMethodinitializeSplitPaths
@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 callersMethodinitializeStaticFieldsToDefaultValues
to be called after exiting class initializers; write default values to all static fields
src/edu/colorado/thresher/core/IQuery.java:215
↓ 4 callersMethodinsertFolder
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 callersMethodisDispatchFeasible
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 callersMethodisFakeWorldClinit
(CGNode node, CallGraph cg)
src/edu/colorado/thresher/core/WALACFGUtil.java:630
↓ 4 callersMethodisHideSpecialAccounts
()
apps/pldi13/K9Mail/src/com/fsck/k9/K9.java:911
↓ 4 callersMethodisInputMethodViewCreated
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/inputmethod/InputMethod.java:69
↓ 4 callersMethodisLocalVar
()
src/edu/colorado/thresher/core/ConcretePointerVariable.java:439
↓ 4 callersMethodisNotifyNewMail
()
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:840
↓ 4 callersMethodisOpen
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:686
↓ 4 callersMethodisOpen
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/Pop3Store.java:290
↓ 4 callersMethodisPointsToConstraint
()
src/edu/colorado/thresher/core/AtomicPathConstraint.java:433
↓ 4 callersMethodisPushCapable
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Store.java:102
↓ 4 callersMethodisSimple
()
src/edu/colorado/thresher/core/AtomicPathConstraint.java:417
↓ 4 callersMethodloadMessageForView
(final Account account, final String folder, final String uid, final Messag
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:2671
↓ 4 callersMethodlogPathCount
(int numPaths)
src/edu/colorado/thresher/core/Logger.java:154
↓ 4 callersMethodmake
(Object key)
src/edu/colorado/thresher/core/ConcretePointerVariable.java:163
↓ 4 callersMethodmakeBranchPointKey
(SSAInstruction instr, SSACFG.BasicBlock blk, CGNode node)
src/edu/colorado/thresher/core/IBranchPoint.java:110
↓ 4 callersMethodmakeUnconditionalDependencyRule
(SSAInstruction instr, Object lhs, Object rhs, PointerStatement.EdgeType type, int lineId, int lineNum,
src/edu/colorado/thresher/core/Util.java:183
↓ 4 callersMethodmakeZeroOneContainerCFABuilder
(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope)
src/edu/colorado/thresher/core/FakeMapContextSelector.java:59
↓ 4 callersMethodmessageListStars
()
apps/pldi13/K9Mail/src/com/fsck/k9/K9.java:815
↓ 4 callersMethodmessageUidChanged
(Account account, String folder, String oldUid, String newUid)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingListener.java:148
↓ 4 callersMethodmessagesArrived
(Folder folder, List<Message> mess)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/PushReceiver.java:12
↓ 4 callersMethodmove
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 callersMethodmoveX
(int dir)
apps/pldi13/DroidLife/src/org/jtb/droidlife/DesignView.java:183
↓ 4 callersMethodmoveY
(int dir)
apps/pldi13/DroidLife/src/org/jtb/droidlife/DesignView.java:192
↓ 4 callersMethodolderThan
(Date earliestDate)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/Message.java:36
↓ 4 callersMethodonChange
Notify CellCollection that something has changed.
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/Cell.java:276
↓ 4 callersMethodonDelete
Called from UI thread when user select Delete
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageView.java:678
↓ 4 callersMethodonDelete
@param holders Never {@code null}.
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:1172
↓ 4 callersMethodonOpenAccount
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 callersMethodonOpenFolder
(String folder)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:567
↓ 4 callersMethodonRefresh
(final boolean forceRemote)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:438
↓ 4 callersMethodonTouchEvent
(MotionEvent ev)
apps/pldi13/K9Mail/src/com/fsck/k9/view/ToggleScrollView.java:22
↓ 4 callersMethodopen
(OpenMode mode)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/WebDavStore.java:1156
↓ 4 callersMethodopenOrCreateDataspace
@param application @throws UnavailableStorageException
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LockableDatabase.java:367
↓ 4 callersMethodpopulate
(Context context, Folder folder, Account account, int unreadCount)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderInfoHolder.java:69
↓ 4 callersMethodpopulate
(final MessageInfoHolder target, final Message m, final FolderInfoHolder folder, fina
apps/pldi13/K9Mail/src/com/fsck/k9/helper/MessageHelper.java:46
↓ 4 callersMethodpushCallStack
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 callersMethodreadTokens
(ImapResponse response)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapResponseParser.java:68
↓ 4 callersMethodreceiveCapabilities
(List<ImapResponse> responses)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:1828
↓ 4 callersMethodrefute
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 callersMethodremove
(String key)
apps/pldi13/K9Mail/src/com/fsck/k9/preferences/Storage.java:246
↓ 4 callersMethodrestoreState
(IMControlPanel controlPanel)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/inputmethod/IMControlPanelStatePersister.java:38
↓ 4 callersMethodsaveState
(IMControlPanel controlPanel)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/inputmethod/IMControlPanelStatePersister.java:24
↓ 4 callersMethodsearch
()
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/ImapStore.java:925
↓ 4 callersMethodsearchLocalMessages
(SearchSpecification searchSpecification, final Message[] messages, final MessagingListener listener)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:614
↓ 4 callersMethodseed
()
apps/pldi13/DroidLife/src/org/jtb/droidlife/GameActivity.java:271
↓ 4 callersMethodsendMessage
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageCompose.java:1328
↓ 4 callersMethodsetBackgroundOps
(BACKGROUND_OPS backgroundOps)
apps/pldi13/K9Mail/src/com/fsck/k9/K9.java:655
↓ 4 callersMethodsetCompoundDrawablesAlpha
(TextView view, int alpha)
apps/pldi13/K9Mail/src/com/fsck/k9/helper/Utility.java:218
↓ 4 callersMethodsetDefaultAccount
(Account account)
apps/pldi13/K9Mail/src/com/fsck/k9/Preferences.java:161
↓ 4 callersMethodsetDeletePolicy
(int deletePolicy)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:852
↓ 4 callersMethodsetDisplayMode
(FolderMode aMode)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/ChooseFolder.java:204
↓ 4 callersMethodsetDraftsFolderName
(String draftsFolderName)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:879
↓ 4 callersMethodsetEditable
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 callersMethodsetEmail
(String email)
apps/pldi13/K9Mail/src/com/fsck/k9/Identity.java:26
↓ 4 callersMethodsetEncryptionKeys
(long keyIds[])
apps/pldi13/K9Mail/src/com/fsck/k9/crypto/PgpData.java:23
↓ 4 callersMethodsetFolderPushMode
(FolderMode pushMode)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:966
↓ 4 callersMethodsetLastChecked
(final long lastChecked)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1341
↓ 4 callersMethodsetName
(String name)
apps/pldi13/K9Mail/src/com/fsck/k9/Identity.java:18
↓ 4 callersMethodsetPushState
(final String pushState)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/LocalStore.java:1393
↓ 4 callersMethodsetReadOnly
(boolean readonly)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/SudokuBoardView.java:245
↓ 4 callersMethodsetRecipients
(RecipientType type, Address[] addresses)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/internet/MimeMessage.java:177
↓ 4 callersMethodsetRing
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 callersMethodsetRingNotified
(boolean ringNotified)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:758
↓ 4 callersMethodsetRingtone
(String ringtoneUri)
apps/pldi13/K9Mail/src/com/fsck/k9/NotificationSetting.java:56
↓ 4 callersMethodsetSentFolderName
(String sentFolderName)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:891
↓ 4 callersMethodsetTrashFolderName
(String trashFolderName)
apps/pldi13/K9Mail/src/com/fsck/k9/Account.java:899
↓ 4 callersMethodsetUid
(String uid)
apps/pldi13/K9Mail/src/com/fsck/k9/mail/store/WebDavStore.java:2045
↓ 4 callersMethodsetVibrate
(boolean vibrate)
apps/pldi13/K9Mail/src/com/fsck/k9/NotificationSetting.java:80
↓ 4 callersMethodshouldRing
@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 callersMethodskipCall
(SSAInvokeInstruction instr, CallGraph cg, CGNode callee)
src/edu/colorado/thresher/core/IPathInfo.java:353
↓ 4 callersMethodsynchronizeMailboxFinished
(Account account, String folder, int totalMessagesInMailbox, int numNewMessages)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingController.java:4413
↓ 4 callersMethodsynthesizeInstanceOf
(TypeReference type)
src/edu/colorado/thresher/core/ClassSynthesizer.java:493
↓ 4 callersMethodtoIntArray
(String s)
apps/pldi13/DroidLife/src/org/jtb/droidlife/model/World.java:139
↓ 4 callersMethodupdate
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/inputmethod/IMNumpad.java:202
↓ 4 callersMethodupdateEncryptLayout
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 callersMethodupdateFrom
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageCompose.java:1671
↓ 4 callersMethodupdateList
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/gui/FolderListActivity.java:363
↓ 4 callersMethodupdateSignature
()
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageCompose.java:1678
↓ 4 callersMethodupdateSudoku
Updates sudoku game in the database. @param sudoku
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/db/SudokuDatabase.java:443
↓ 4 callersMethoduseCompactLayouts
()
apps/pldi13/K9Mail/src/com/fsck/k9/K9.java:966
↓ 4 callersMethoduseVolumeKeysForNavigationEnabled
()
apps/pldi13/K9Mail/src/com/fsck/k9/K9.java:673
↓ 4 callersMethodvalidate
()
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/SudokuGame.java:315
↓ 4 callersMethodvisitInvokeAsCallee
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 callersMethodaccountSizeChanged
(Account account, long oldSize, long newSize)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingListener.java:27
↓ 3 callersMethodaccountStatusChanged
(BaseAccount account, AccountStats stats)
apps/pldi13/K9Mail/src/com/fsck/k9/controller/MessagingListener.java:24
↓ 3 callersMethodacquireWakeLock
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 callersMethodactionHandleAccount
(Context context, Account account, String initialFolder)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/FolderList.java:211
↓ 3 callersMethodactionHandleFolderIntent
(Context context, Account account, String folder)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/MessageList.java:555
↓ 3 callersMethodactionIncomingSettings
(Activity context, Account account, boolean makeDefault)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/setup/AccountSetupIncoming.java:73
↓ 3 callersMethodactionPrefs
(Context context)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/setup/Prefs.java:123
↓ 3 callersMethodactionReschedulePoll
(Context context, Integer wakeLockId)
apps/pldi13/K9Mail/src/com/fsck/k9/service/MailService.java:55
↓ 3 callersMethodactionSettings
(Context context, Account account)
apps/pldi13/K9Mail/src/com/fsck/k9/activity/setup/AccountSettings.java:173
↓ 3 callersMethodaddCell
(Cell cell)
apps/pldi13/OpenSudoku/src/cz/romario/opensudoku/game/CellGroup.java:41
← previousnext →701–800 of 5,520, ranked by callers